[英]Clojure: core.logic, prolog, logic style programming in Clojure
我知道core.logic。
我已经完成了理性的阴谋家。
我知道Prolog的存在。
我想在 Clojure中做更好的逻辑风格编程。
Prolog的书籍比core.logic书籍多得多。
我目前正计划使用clojure的core.logic来完成一些Prolog书籍。 我应该注意哪些事项/从Prolog到core.logic有哪些难以映射的内容?
(其他有关改进逻辑编程的建议也欢迎。)
谢谢!
逻辑编程+ Clojure世界的其他部分包括
我相信相当数量的Prolog可以翻译成miniKanren / core.logic。 我不知道很多问题(一个是Definite Clause Grammars,但还有其他方法可以在Clojure中编写解析器)。 如果您遇到困难,请随时向Clojure邮件列表发布改进建议。
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.