Prolog 比 Haskell 能更好地解决哪些问题？这两种语言之间的主要区别是什么？
Edit
是否有一个可以模仿 Prolog 功能的 Haskell 库（一种逻辑求解器）？
关于逻辑库问题：如果它不存在，应该可以通过多种方式构建一个。这理性的阴谋家将逻辑推理能力构建到Scheme中。第33-34章PLAI讨论 Prolog 和实现 Prolog。这些作者正在Scheme 和Prolog 之间搭建桥梁。的创造者PLT方案 http://www.plt-scheme.org/作为他们的语言之一建立了懒惰方案 http://docs.plt-scheme.org/lazy/index.html在 Haskell 的惰性求值特性之后。奥列格·基谢廖夫LogicT https://web.archive.org/web/20141005145655/http://okmij.org/ftp/Computation/monads.htmlpaper 一如既往地出色——他突破了多种语言的可能性界限。还有一个逻辑编程示例 http://www.haskell.org/haskellwiki/Logic_programming_example在 Haskell Wiki 上。
-
理性的阴谋家 https://rads.stackoverflow.com/amzn/click/com/0262562146作者：丹尼尔·P·弗里德曼、威廉·E·伯德和奥列格·基谢廖夫
-
编程语言：应用程序和解释 http://www.cs.brown.edu/~sk/Publications/Books/ProgLangs/作者：施里拉姆·克里希那穆提
- LogicT - 具有公平操作和修剪的回溯单子变压器 https://web.archive.org/web/20141005145655/http://okmij.org/ftp/Computation/monads.html
- Haskell Wiki 上的逻辑编程 http://www.haskell.org/haskellwiki/Logic_programming_example
本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系:hwhale#tublm.com(使用前将#替换为@)
