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 中构建一些相对简单的函数，这些函数采用一个输入和一个输出。为了简单起见，类似 func(List, Item, [Item | List]). 现在，我有代码可…
Prolog 兼容层 - 可用的编程库
一种 Prolog 实现中缺少一些在其他实现中可用的谓词。 我们可以实现缺少的谓词，我们称之为“Prolog 兼容层”。 您知道 Prolog（尤其是 GNU-Prolog）…
使用 Lisp 或 PROLOG 从列表中删除偶数出现的元素
我必须使用 LISP 或 PROLOG 从列表中删除甚至出现的元素。 这是一些例子。 输入：'(5 2 (3 5 (3)) 5 (4 2 (2 4))) 5 2) 输出：'(5 2 (3 () 5 (4 (2)))…
告诉 prolog 停止并开始搜索其他可能性
我正在尝试用序言来解决魔方，我已经尝试过： cubo_resuelto(F, F, F, F, F, F, F, F, F, A, A, A, A, A, A, A, A, A, I, I, I, I, I, I, I, I, I, D,…
GNU Prolog 的同义反复检查器
Closed. This question is seeking recommendations for software libraries, tutorials, tools, books, or other off-site resources. It does not …
Prolog - 第一个列表是第二个列表的子列表？
例如： isin([1,2,3], [1,0,1,2,3,0]) 将产生 true，因为 123 位于 101230 我编写了以下代码： isin([AH|AT],[AH|AT]). isin([AH|AT],[BH|BT]):- AH =…
为什么 gprolog 不将 modus ponens 的使用链接在一起？
我正在阅读 立即学习 Prolog，1.1.2 知识库 2 他们写了关于将肯定前件的使用链接在一起。 KB2.pl 文件： listensToMusic(mia). happy(yolanda). plays…
如何停止多次执行 prolog 目标？
我有一个事实和一个目标，如下所示： disconnected. join :- disconnected, time(T), send(T). 一旦该目标执行，它应该使断开连接为假，从而不再执行…
SWI-Prolog 选项处理
我正在使用 SWI-Prolog，并且很困惑为什么要编写选项库来给出以下输出： ?- option(a(A), [a=1, a=2, a(3)]). A = 3. ?- option(b(B), [b=1, b=2]). B…
