3回答
在Prolog中找出谁是最高的最简单的方法是什么： height(lisa,1.65).height(luke,1.92).
height(nicole,1.54
浏览 10提问于2020-12-18得票数 1
回答已采纳
2回答
我知道可以定义，但是它的语法比Prolog要冗长得多。在Prolog中，定从句语法可以写得更简洁：
pronoun --> him,her,it.
浏览 12提问于2016-02-29得票数 2
2回答
我有以下查询：X = I,Y = like.然而，我所期待的是：Y = like,Prolog是否有统一术语的具体顺序？编辑：我觉得对an atom with a variable的统一给予了比a variable with an atom更高的优先级。是真地吗？
浏览 4提问于2021-01-24得票数 4
回答已采纳
在Prolog中哪种问题比在Haskell更能解决？这两种语言的主要区别是什么？
是否有能够模仿Prolog功能的Haskell库(某种逻辑解决程序)？
浏览 9提问于2009-12-19得票数 58
回答已采纳
我知道Prolog的存在。有无限多的Prolog书籍比core.logic书籍。问题：
目前，我正计划使用clojure的core.logic编写几本Prolog书籍。我应该注意哪些事情/哪些事情很难从Prolog映射到core.logic？
浏览 4提问于2012-07-09得票数 7
回答已采纳
在(最好的) Prolog中解决任何问题的时间复杂性是否比简单的蛮力回溯实现要好？编辑:所谓“解决任何问题”，我指的是所有Prolog程序。“问题中的问题”：我想知道语言设计:与部分延续相比，完全延续是否有任何实用价值(其主要优势是Prolog-esque，但如果它们不能在时间复杂度上与P
浏览 11提问于2015-12-23得票数 4
回答已采纳
对于我在大学的一门课程，我需要一个用prolog实现的国际象棋游戏。我的家庭作业是用它来构建/改进游戏的AI。我不想从头开始写整个游戏，我想知道是不是有一个游戏的源代码是用prolog或者其他语言C，C++，C#，Java提供给prolog程序的。
谢谢，科比·梅尔
浏览 2提问于2011-10-23得票数 4
回答已采纳
我对Prolog非常陌生，我有兴趣将以下单词问题转换为(SWI) Prolog：
child(X) :-
member(X, [3,5,6,8]).作为一个附带的问题，Prolog是执行蛮力搜索解决方案，还是有比O(n!)更好地解决这个(某种程度上)问题的机制？
浏览 0提问于2016-06-28得票数 5
回答已采纳
是否有类似的书是面向Prolog的？或者，如果有更好的语言学习比Prolog的逻辑编程，我也有兴趣听取您的意见，以及。
浏览 0提问于2011-04-24得票数 3
prolog中的以下查询成功。Y = 5?Arguments are not sufficiently instantiated?- Y=X+2, X=3, Z is Y.X = 3,Z = 5
我不
浏览 11提问于2022-10-15得票数 1
我是Prolog语言的初学者，为了解决我定义的一个逻辑难题age(six).age(five)<age(six).or
five < six.如果不使用数字，我怎么才能写出五比六小的代码呢？
浏览 10提问于2019-07-16得票数 0
2回答
我想从SWI-Prolog切换到 --但这似乎比预期的要难：
像succ()这样的谓词不可用，像Var1+Var2>Var3这样的操作也不起作用(显然，它必须是Var3<Var1+Var2才有效)。是否有描述Prolog方言之间差异的文档？
浏览 0提问于2009-10-24得票数 6
某些类型的域逻辑使用Prolog谓词比C#对象更自然地表示。这样的域的一个示例是。
有没有办法将类似Prolog的推理引擎嵌入到.NET应用程序中？
浏览 3提问于2011-06-12得票数 8
回答已采纳
3回答
在玩Logtalk的时候，我的程序似乎要更长时间来执行Logtalk对象而不是普通的Prolog。我做了一个基准测试，将平原Prolog中简单谓词的执行与下面等效的logtalk对象封装进行了比较：% plain prolog predicate
plain_prolog_simple :-- benchmark(plain_prolog_simple).我们可以看到logtalk_obj::simple call比plain_prolog_simple调用慢。
浏览 1提问于2015-09-26得票数 2
回答已采纳
2回答
我是prolog语言的新手。我在prolog中遇到了一个有趣的问题。提示是，我们可以在分区操作期间计算元素的数量。但是我不知道如何形成一个算法来解决这个问题。
浏览 0提问于2013-11-10得票数 0
1回答
如何在prolog中将浮点型转换为整型？?- integer(truncate(sqrt(9))).
?
浏览 0提问于2010-12-05得票数 7
回答已采纳
1回答
我是一个血腥的初学者，完全不知道如何使用SWI Prolog与内置编辑器在我的Mac。或者VSCode作为编辑。在这里贴出的任何问题都没有帮助我，因为我不明白给出的任何指示。我从网站下载SWI Prolog并将其拖到我的应用程序文件夹中。它打开。我还需要做什么？理想情况下，使用的编辑器是相同的。
浏览 19提问于2022-04-22得票数 -1
2回答
我正在考虑使用P#，一个用于.NET的Prolog解释器，但我发现它有点糟糕。对于游戏AI，你还有比Prolog (也许是Haskell)更好的东西吗？或者是比P#更好的解释器？
浏览 0提问于2009-05-30得票数 2
回答已采纳
7回答
：pl.x86_64 : SWI-Prolog - Edinburgh compatible/prolog.el;;; Prolog mode
(setq load-path (cons "~/.emacs.d/site-lisp/prolog/prolog.e
浏览 6提问于2011-03-13得票数 12
回答已采纳
Prolog有什么问题？以Erlang为例。它的语法借鉴自Prolog，它最初是用Prolog实现的，这真的很有趣。也就是说，从Erlang人的角度来看，Prolog存在根本性的问题，否则他们会根据自己的需要对Prolog进行调整。
浏览 1提问于2016-02-27得票数 12
云服务器
ICP备案
对象存储
云点播
即时通信 IM
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号