发布求助
文献互助 智能选刊 最新文献

CoALP-Ty最新文献

筛选
英文 中文
Extending Coinductive Logic Programming with Co-Facts 用协事实扩展共归纳逻辑规划
CoALP-Ty Pub Date : 2017-09-14 DOI: 10.4204/EPTCS.258.1
D. Ancona, Francesco Dagnino, E. Zucca
{"title":"Extending Coinductive Logic Programming with Co-Facts","authors":"D. Ancona, Francesco Dagnino, E. Zucca","doi":"10.4204/EPTCS.258.1","DOIUrl":"https://doi.org/10.4204/EPTCS.258.1","url":null,"abstract":"We introduce a generalized logic programming paradigm where programs, consisting of facts and rules with the usual syntax, can be enriched by co-facts, which syntactically resemble facts but have a special meaning. As in coinductive logic programming, interpretations are subsets of the complete Herbrand basis, including infinite terms. However, the intended meaning (declarative semantics) of a program is a fixed point which is not necessarily the least, nor the greatest one, but is determined by co-facts. In this way, it is possible to express predicates on non well-founded structures, such as infinite lists and graphs, for which the coinductive interpretation would be not precise enough. Moreover, this paradigm nicely subsumes standard (inductive) and coinductive logic programming, since both can be expressed by a particular choice of co-facts, hence inductive and coinductive predicates can coexist in the same program. We illustrate the paradigm by examples, and provide declarative and operational semantics, proving the correctness of the latter. Finally, we describe a prototype meta-interpreter.","PeriodicalId":231667,"journal":{"name":"CoALP-Ty","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132849035","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 9
Structural Resolution for Abstract Compilation of Object-Oriented Languages 面向对象语言抽象编译的结构解析
CoALP-Ty Pub Date : 2017-09-13 DOI: 10.4204/EPTCS.258.2
Luca Franceschini, D. Ancona, Ekaterina Komendantskaya
{"title":"Structural Resolution for Abstract Compilation of Object-Oriented Languages","authors":"Luca Franceschini, D. Ancona, Ekaterina Komendantskaya","doi":"10.4204/EPTCS.258.2","DOIUrl":"https://doi.org/10.4204/EPTCS.258.2","url":null,"abstract":"We propose abstract compilation for precise static type analysis of object-oriented languages based on coinductive logic programming. Source code is translated to a logic program, then type-checking and inference problems amount to queries to be solved with respect to the resulting logic program. We exploit a coinductive semantics to deal with infinite terms and proofs produced by recursive types and methods. Thanks to the recent notion of structural resolution for coinductive logic programming, we are able to infer very precise type information, including a class of irrational recursive types causing non-termination for previously considered coinductive semantics. We also show how to transform logic programs to make them satisfy the preconditions for the operational semantics of structural resolution, and we prove this step does not affect the semantics of the logic program.","PeriodicalId":231667,"journal":{"name":"CoALP-Ty","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130361630","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Structural Resolution with Co-inductive Loop Detection 结构分辨率与共感环路检测
CoALP-Ty Pub Date : 2017-03-24 DOI: 10.4204/EPTCS.258.4
Yue Li
{"title":"Structural Resolution with Co-inductive Loop Detection","authors":"Yue Li","doi":"10.4204/EPTCS.258.4","DOIUrl":"https://doi.org/10.4204/EPTCS.258.4","url":null,"abstract":"A way to combine co-SLD style loop detection with structural resolution was found and is introduced in this work, to extend structural resolution with co-induction. In particular, we present the operational semantics, called co-inductive structural resolution, of this novel combination and prove its soundness with respect to the greatest complete Herbrand model.","PeriodicalId":231667,"journal":{"name":"CoALP-Ty","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129438381","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信