工具书类

  1. 塞尔吉奥·安托伊（2005）：函数逻辑程序设计的评价策略.J.塞姆。计算。40(1),第875-903页，数字对象标识：2016年10月10日/j.jsc.2004.12.007.
  2. Brian Babcock、Shivnath Babu、Mayur Datar、Rajeev Motwani和Jennifer Widom（2002）：数据流系统中的模型和问题.在：第二十届ACM SIGMOD-SIGACT-SIGART数据库系统原理研讨会论文集，02年PODS。ACM，纽约、纽约、美国，第1-16页，数字对象标识：10.1145/543613.543615.
  3. David M.Beazley（2009）：Python基本参考,第4版。Addison-Wesley Professional公司。
  4. Harald Beck、Minh Dao-Tran、Thomas Eiter和Michael Fink（2015）：LARS：基于逻辑的流推理分析框架.摘自：第二十届美国人工智能学会人工智能会议记录，AAAI’15。AAAI出版社，第1431-1438页，数字对象标识：2016年10月10日/j.artint.2018.04.003.
  5. Amadeo Casas、Daniel Cabeza和Manuel V.Hermenegildo（2006年）：LP系统中结合功能符号、延迟求值和高阶的句法方法.发表于：Masami Hagiya和Philip Wadler:功能和逻辑编程，第八届国际研讨会，FLOPS 2006，日本富士-苏索诺，2006年4月24日至26日，会议记录，计算机科学课堂讲稿3945。施普林格，第146-162页，数字对象标识：10.1007/11737414_11.
  6. Amadeo Casas、Daniel Cabeza Gras和Manuel V Hermenegildo（2005年）：Ciao中的函数表示法和惰性求值.CICLOPS 2005年。https://cliplab.org/papers/lazy-functions-ciclops05.pdf。
  7. Christian Holzbaur（1992）：可扩展统一上下文中的元结构与属性化变量.在：Maurice Bruynooghe和Martin Wirsing：编程语言实现和逻辑编程。施普林格-柏林-海德堡，柏林、海德堡、，第260-268页，数字对象标识：10.1007/3-540-55844-6_141.
  8. Paul Hudak、John Hughes、Simon Peyton Jones和Philip Wadler（2007年）：哈斯克尔的历史：上课懒散.在：第三届ACM SIGPLAN编程语言历史会议记录中，HOPL III公司。ACM、，美国纽约州纽约市，第12-1-12-12-55页，数字对象标识：10.1145/1238844.1238856.
  9. Yan-Nei Law、Haixun Wang和Carlo Zaniolo（2011）：序列和数据流连续查询的关系语言和数据模型.ACM事务处理。数据库系统。36(2),第8:1至8:32页，数字对象标识：10.1145/1966385.1966386.
  10. 尤金尼奥·莫吉（1991）：计算和单数概念.信息与计算93，第55-92页，数字对象标识：10.1016/0890-5401(91)90052-4.
  11. Guido van Rossum和Fred L.Drake（2011）：Python语言参考手册.网络理论有限公司。。
  12. Tom Schrijvers、Bart Demoen、Benoit Desouter和Jan Wielemaker（2013年）：Prolog的带分隔符延续.逻辑程序设计理论与实践13（4-5），第533–546页，数字对象标识：10.1017/S1471068413000331.
  13. Tom Schrijvers、Bart Demoen、Markus Triska和Benoit Desouter（2014）：Tor：具有可挂钩分离的模块化搜索.计算机程序科学84，第101-120页，数字对象标识：2016年10月10日/j.scico.2013.05.008.
  14. 保罗·塔劳（2000）：Fluents:Prolog的重构，用于统一反射和与外部对象的互操作.收录：约翰·劳埃德：计算逻辑——CL 2000：第一届国际会议，英国伦敦，数字对象标识：10.1007/3-540-44957-4_82.LNCS 1861，Springer-Verlag。
  15. 保罗·塔劳（2012）：BinProlog体验：连续通过Prolog和一流逻辑引擎的架构和实现选择.逻辑程序设计理论与实践12（1-2），第97–126页，数字对象标识：10.1017/S1471068411000433.
  16. Paul Tarau（2013）：Prolog术语的紧凑序列化（使用加泰罗尼亚语骨架、Cantor Tupling和哥德尔编号）.逻辑程序设计理论与实践13（4-5），第847-861页，数字对象标识：10.1017/S1471068413000537.
  17. Paul Tarau和Arun Majumdar（2009）：互操作逻辑引擎.摘自：《声明性语言的实用方面》，第11届国际研讨会，2009年PADL。斯普林格，LNCS 5418，佐治亚州萨凡纳，第137-151页，数字对象标识：10.1007/978-3-540-92995-6_10.
  18. 菲利普·瓦德勒（1993）：单数和可组合延续.Lisp和符号计算，第1-17页，数字对象标识：2007年10月10日/BF01019944.
  19. Jan Wielemaker（2003）：SWI-Pro中的本机抢占线程.收录于：Catuscia Palamidessi:声明语言的实用方面。斯普林格·弗拉格，德国柏林，第331-345页，数字对象标识：10.1007/978-3-540-24599-5_23.LNCS 2916。
  20. Jan Wielemaker、Tom Schrijvers、Markus Triska和Torbjorn Lager（2012年）：SWI-预测.逻辑程序设计理论与实践12，第67-96页，数字对象标识：10.1017/S1471068411000494.
评论和问题： eptcs@eptcs.org
对于网站问题： webmaster@eptcs.org