Questions tagged «prolog»

已关闭。这个问题需要更加集中。它当前不接受答案。 想改善这个问题吗？更新问题，使其仅通过编辑此帖子来关注一个问题。 3年前关闭。 改善这个问题 当我想阅读逻辑编程时，时下我总是会遇到两种“主要”方法： miniKanren，在The Reasoned Schemer中引入的一种迷你语言，由于core.logic的缘故，目前很受欢迎。 Prolog，第一种“大”逻辑编程语言。 我现在感兴趣的是：两者之间的主要技术区别是什么？它们在方法和实现上是否非常相似，还是对逻辑编程采用完全不同的方法？它们来自哪些数学分支，其理论基础是什么？

123 prolog  logic-programming  minikanren 

从目前的情况来看，这个问题不适合我们的问答形式。我们希望答案会得到事实，参考或专业知识的支持，但是这个问题可能会引起辩论，争论，民意调查或扩展讨论。如果您认为此问题可以解决并且可以重新提出，请访问帮助中心以获取指导。 8年前关闭。 已锁定。该问题及其答案被锁定，因为该问题是题外话，但具有历史意义。它目前不接受新的答案或互动。 我正在网上和印刷上寻找有关Prolog的优秀初学者资料。我不仅对“学习语言”感兴趣，而且对背景和科学信息也很感兴趣。

71 prolog  artificial-intelligence 

我读过许多文章试图理解功能和逻辑编程之间的区别，但是到目前为止，我唯一能得出的结论就是逻辑编程通过数学表达式定义程序。但是这种事情与逻辑编程无关。 我真的很希望能对函数式编程与逻辑编程之间的区别有所了解。

71 haskell  functional-programming  prolog 

（根据@repeat的建议）考虑一个纯程序的查询1 ?- G_0.该查询?- G_0, G_0.有什么用？ 脚注 1禁止制表（为了安全起见），约束条件还可以。关于该主题的 上一篇文章。

12 prolog  logical-purity 

我在玩序言相关谓词freeze/2和frozen/2： ?- freeze(X,a=a), frozen(X,Goal). ?- freeze(X,a=a), freeze(Y,b=b), X=Y, frozen(X,Goal). sicstus-prolog（x86_64的版本4.5.1）给出了以下答案： | α-冻结（X，a ＝ a），冻结（X，目标）。 目标= prolog：freeze（X，user：（a = a））， prolog：freeze（X，user：（a = a））吗？; 没有 | α-冻结（X，a ＝ a），冻结（Y，b ＝ b），X ＝ Y，冻结（X，目标）。 Y = X， 目标=（用户：（a = a），序言：冻结（X，用户：（b = b）））， 序言：冻结（X，用户：（a = a））， prolog：freeze（X，user：（b = b））吗？; 没有 现在没想到！Goal = prolog:freeze(X,user:(a=a)) 我所期望的是swi-prolog版本8.0.3 给出的答案： …

11 prolog  sicstus-prolog  prolog-coroutining