{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[2022,4,1]]，“日期时间”：“2022-04-01T19:36:14Z”，“时间戳”：1648841774183}，“出版商位置”：“柏林，海德堡”，“参考计数”：21，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783642642494”，“类型”：“print”}，{“value”：“9783642600852”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[1999]]}，”DOI“：”10.1007\/978-3642-60085-2_8“，”type“：”book-capter“，”created“：{”date-ports“：[2011,9,8]]，”date-time“：”2011-09-08T11:03:26Z“，”时间戳“：1315479806000}，”页面“：”195-208“，“source”：“Crossref”，“is-referenced-by-count”：1，“title”：[“CL-理论和程序开发中的一些问题的评估”]，“prefix”：“10.1007”，”author“：[{”given“：”Danny“，”family“：”Schreye“，”sequence“：”first“，”affiliation“：[]}，{”fixed“：”Marc“，”“family”：“Denecker”，“sequence”：“additional”，“affiliance”：[]2]，“member”：“297”，“reference”：[{”key：“8_CR1”，“doi-asserted-by”：“publisher”，“first page”：“9”，“doi”：“10.1016\/0743-1066（94“”，“第一页”：“185”，“卷标题”：“面向对象语言和系统技术工具13”，“作者”：“S Baelen Van”，“年份”：“1994”，“非结构化”：“S.Van Baelen，J.Lewi和E.Steegmans。面向对象分析和设计中的约束。在B.Magnusson，B.Meyer，J.-M.Nerson和J.-F中。Perrot，编辑，《面向对象语言和系统工具技术》13，第185\u2013199页。Prentice-Hall，1994.“}，{“key”：“8_CR3”，“volume-title”：“逻辑编程杂志，十周年纪念版”，“year”：“1994”，“unstructured”：“M.Bruynooghe，S.Debray，M.Hermenegildo，M.Maher，编辑。《逻辑编程杂志》，十周年发行，第19\/20卷。Elsevier Science Publishers，1994年。“}，{”key“：”8_CR4“，”first page“：“1624”，”volume-title“：”第五届逻辑编程国际会议和研讨会论文集“，”author“：”A Bundy“，”year“：”1988“，”unstructured“：”A.Bundy。逻辑编程中逻辑的广义解释。in K.Bowen，R。Kowalski，编辑，《第五届逻辑编程国际会议和研讨会论文集》，第1624\u20131648页。MIT-press，1988.“}，{”key“：”8_CR5“，”unstructured“：”Y.Deville.逻辑编程：系统程序开发Addison-Wesley，1990.“}”，{“key”：“8_CR6”，“doi-asserted-by”：“publisher”，“first-page”：“321”，“doi”：“10.1016\/0743-1066（94）90029-9“，”volume“：“19\u201320”，“author”：“Y Deville”，“year”：“1994”，“unstructure”：“Y.Develle and K.-K。刘。逻辑程序综合。《逻辑编程杂志》，19\u201320:321\u2013350，1994年。Glueck和M.H.Soerensen。部分扣除和驱动是等价的。M.Hermenegildo和J.Penjam，编辑，《编程语言：实现、逻辑和程序》，第165\u2013181页。Springer-Verlag，《计算机科学讲义》，第844卷，1994年DOI“：”10.1016\/0743-1066（94）90033-7“，”卷“：”19\u201320“，”作者“：”J Jaffar“，”年份“：”1994“，”非结构化“：”J.Jaffar和M.Maher。约束逻辑编程：一项调查。《逻辑编程杂志》19\u201320:503\u20135821994.，“期刊标题”：“逻辑编程杂志”，｛“键”：“8_CR10”，“第一页”：“235”，“卷标题”：“人工智能和逻辑编程手册5”，“作者”：“AC Kakas”，“年份”：“1998”，“非结构化”：“A.C.Kakas，R.Kowalski，and F。托尼。推理在逻辑编程中的作用。D.Gabbay、C.J.Hogger和J.A.Robinson主编，《人工智能和逻辑编程逻辑手册》5页235\u2013324。牛津大学出版社，1998年。“}，{”key“：”8_CR11“，”doi-asserted-by“：”publisher“，”first page“：“424”，”doi“：”10.1145\/359131.359136“，“volume”：“22”，“author”：“RA Kowalski”，“year”：“1979”，“unstructured”：“R.A.Kowalski.Algorithm=logic+control.Communications of the ACM 22:424\u201343119979.”，“journal-title”：“Communications the ACM”}，“key”：”8_CR12“，“首页”：“1”，“卷-时间”：“计算逻辑研讨会”，“作者”：“RA Kowalski”，“年份”：“1990”，“非结构化”：“R.A.Kowalski。计算逻辑的问题和承诺。J.W.Lloyd，编辑，《计算逻辑研讨会》第1\u201336页。Springer-Verlag，1990.“}，{”key“：”8_CR13“，”volume-title“：”What is a Logical System？“，”author“：”RA Kowalski“，”year“：”1995“，”unstructured“：”R.a.Kowalski.Logic without model theory.In D.Gabbay，editor，What is an Logical Systems？Oxford University Press，1995.“}”，{“key”：“8_CR14”，“first page”：”221“，”volume-title:“”基于超分辨率的证明过程及其在Prolog中的实现”，“author”：“R Manthey”，“year”：“1987”，“unstructured”：“R.Manthey and F.Bry。基于超分辨率的证明过程及其在Prolog中的实现。《第十一届德国人工智能研讨会论文集》第221\u2013230页，1987年。“}，{”key“：”8_CR15“，”doi-asserted-by“：”publisher“，”first page“：“629”，“doi”：“10.1016\/0743-1066（94）90035-3”，“volume”：“19\u201320”，“author”：“S Muggleton”，“year”：“1994”，“unstructured”：“S.Muggletan and L。德雷德。归纳逻辑程序设计：理论与方法。《逻辑编程杂志》19\u201320:629\u20136801994.“，“Journal-title”：“The Journal of Logic Programming”}，{“issue”：“3”，“key”：“8_CR16”，“doi-asserted-by”：“publisher”，“first-page”：“167”，”doi“：”10.1016\/0743-1066（85）90017-2“，”volume“：”2“，”author“：”L Naish“，”year“：”1985“，”unstructured“：”L。奈什。逻辑程序的自动化控制。《逻辑编程杂志》2（3）：167\u20131831985年。“，“Journal-title”：“The Journal of Logic Programming”}，{“key”：“8_CR17”，“unstructured”：“D.Pearce。CLN战略规划研讨会报告，罗马，2013年6月20日\u21。技术报告，Compulog卓越网络，网址：http://www.cs.ucy.ac.cy \/Compulog \/newpage5.htm，1997.“}，{”key“：”8_CR18“，”doi-asserted-by“：”crossref“，”首页“：”319“，”doi“：”10.1016\/0743-1066（93）90047-K“，”volume“：“16（3\u20134）”，“author”：“T Provost Le”，“year”：“1993”，“unstructured”：“T.Le Provost”st和M。华莱士。CLP方案上的约束满足逻辑编程杂志，约束逻辑编程专刊，16（3\u20134）：319\u20133591993“，“期刊标题”：“逻辑编程期刊，约束逻辑程序设计专刊”}，{“key”：“8_CR19”，“doi-asserted-by”：“crossref”，“unstructured”：“G.Puebla and M。赫尔梅内吉尔多。抽象多重专门化及其在程序并行化中的应用。逻辑编程杂志。逻辑程序的合成、转换和分析专刊，1999年。出现。“，”DOI“：”10.1016\/S0743-1066（99）00031-X“}，{”key“：”8_CR20“，”首页“：”395“，”volume“：“19\u201320”，”author“：”P Roy Van“，”year“：”1994“，”unstructured“：”Peter Van Roy.序贯Prolog实现的奇迹年。《逻辑编程杂志》，19\u2013 20:395\u2013 442，1994年“，”Journal-title“：”The Journal of Logic Programming“}”，{“key”：“”8_CR21“，”首页“：”442“，”卷时间“：”XSB是一个高效的演绎数据库引擎。在《ACM SIGMOND国际数据管理会议记录》中，“作者”：“K Sagonas”，“年份”：“1994年”，“非结构化”：“Konstantinos Sagonas.Terrance Swift和David S.Warren。XSB是一个高效的演绎数据库引擎。1994年5月，明尼苏达州明尼阿波利斯，ACM SIGMOND国际数据管理会议记录，第442\u2013453页。ACM Press“}]，”container-title“：[”The Logic Programming Paradigm“，”Artificial Intelligence“]，”original-title”：[]，”link“：[{”URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/978-3642-60085-2_8.pdf“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}”，“deposed”：{“date-parts”：[2021,12,3]]，“date-time“：”2021-12-03T22:30:57Z“，”timestamp“：1638570657000}，”score“：1，”resource“：{主要”：{“URL”：“http://\/link.springer.com/10.1007\/978-3642-60085-2_8”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[1999]]}，《ISBN》：[“9783642642494”，“978362600852”]，“references-count”“：21，”URL“：”http://\/dx.doi.org\/10.1007\/978-3-642-60085-2_8“，”关系“：{}，”ISSN“：[”1431-0066“]，”ISSN-type“：[{”value“：”1431-00066“，”type“:”print“}]，”主题“：[]，”published“：{”date-parts“：[[1999]]}}