卢克·西蒙;阿杰·班萨尔;阿杰·马利娅;戈帕尔·古普塔 协逻辑编程：用协导扩展逻辑编程。 （英语） Zbl 1171.68404号 Arge，Lars（编辑）等人，《自动化，语言和编程》。2007年7月9日至13日在波兰Wrocław举行的第34届国际学术讨论会，ICALP 2007。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73419-2/pbk）。计算机科学课堂讲稿4596，472-483（2007）。 摘要：在本文中，我们介绍了协同逻辑编程的理论和实践（简称为co-LP），这是一种结合归纳逻辑编程和共导逻辑编程的范式。Co-LP是逻辑编程和共导逻辑编程的自然泛化，它反过来又泛化了逻辑编程的其他扩展，如无限树、惰性谓词和并发通信谓词。Co-LP在有理树、验证无限性质、懒惰评估、并发LP、模型检查、双相似性证明等方面都有应用。有关整个系列，请参见[Zbl 1119.68002号]. 引用于23文件 MSC公司： 68N17号 逻辑编程 软件：OPTYap公司;内核LEAF PDF格式BibTeX公司 XML格式引用 \textit{L.Simon}等人，Lect。注释计算。科学。4596、472--483（2007年；Zbl 1171.68404） 全文： 内政部