Prolog：如何执行“检查(a++b++c++d 等于 d++a++ ;c++b) ->是的”
让我们定义自定义运算符 - 让它为 ++、equals :- op(900, yfx, equals). :- op(800, xfy, ++). 事实上： check(A equals A). 我尝试创建谓词，让它为 …
Prolog - 生成适合给定范围的数字
我想使用这样的谓词： range(X,0,5) range(X,4,200) range(X,-1000000,1000000) dom_range(X,-1000000,1000000) 含义： range(X,0,5) :- member(X,[0,…
Prolog 兼容层 - 可用的编程库
一种 Prolog 实现中缺少一些在其他实现中可用的谓词。 我们可以实现缺少的谓词，我们称之为“Prolog 兼容层”。 您知道 Prolog（尤其是 GNU-Prolog）…
GNU Prolog 的同义反复检查器
Closed. This question is seeking recommendations for software libraries, tutorials, tools, books, or other off-site resources. It does not …
为什么 gprolog 不将 modus ponens 的使用链接在一起？
我正在阅读 立即学习 Prolog，1.1.2 知识库 2 他们写了关于将肯定前件的使用链接在一起。 KB2.pl 文件： listensToMusic(mia). happy(yolanda). plays…
Prolog 中 bagof/3 的问题
据我了解，谓词 setof/3 和 bagof/3 可以用来生成问题的解决方案列表。 （链接到 gprolog 手册）。 正如预期的那样，以下查询的解决方案是 a、b 和 c…
Prolog 变量查询中的“\+”问题
我正在读《七周七种语言》atm，我对一些 Prolog 查询感到困惑，我不明白对“否”的回答。 friends.pl 文件如下所示： likes(wallace, cheese). likes(…
为什么 gnu prolog 不支持“false”谓词？ （我已经改成swi了）
我一直在使用 gprolog 在 prolog 中做一些事情。但现在当测试更多代码时我发现它不支持“false”。 swi支持哪些？…
- 共 1 页
- 1
