如何检查序言中每个数字的位置值？
toword(0,'zero'). toword(1,'one'). toword(10,'ten'). toword(15,'fifteen'). toword(30,'thirty'). toword(100,'one hundred'). toword(500,'five …
如何让事实在序言中具有多个值？
我想知道如何使一个事实具有多个值，例如： answer(1-100, 'yes'). answer(100-700, 'no). 对于 1-100 来说，它是“是”，对于 100-700 来说，它是“…
Prolog：尝试确定一个人是否是某个国家的公民
我正在编写一个 Prolog 程序，其中以以下格式给出了有关某人公民身份的一组事实（意味着 [姓名] 是 [国家列表] 的公民）： citizen(name, [list of co…
将元组事实过滤到新列表
我在尝试过滤通过 CSV 导入的事实时遇到问题。我有以下 CSV 文件： "colA","colB","colC","colD" "what","is","the","chocolate" "hello","my","frien…
appendAll - 将列表附加到列表中的所有列表
我正在尝试找到一种将列表附加到列表中的所有列表的方法。 比如： appendAll([a,b],[[q,w],[z,x]],X). X = [[a,b,q,w],[a,b,z,x]]. 我对序言还是个新…
在 Ubuntu 11.10 64 位上编译 Prolog-JPL？
我正在尝试编译 prolog-JPL，如下所述： https://code.google.com/p/javanaproche/wiki/HowToJPL 不幸的是，它以错误结束： ********************** *…
SWI Prolog 中的变量名称
我一直在使用 chr 库和 jpl 界面。不过我有一个一般性的询问。我将 SWI Prolog 的约束发送到 CHR 程序中的 java 类的实例。问题是，例如，如果输入约…
Prolog ：使用谓词“Name”按音节划分单词
我需要从用户那里读取一个单词，然后将其拆分为音节 基于 2 个规则之一：元音-辅音-元音，或 元音-辅音-辅音-元音。 看起来谓词“name”不起作用，应…
在 prolog 中编译元程序时出错
我正在尝试在 ECLiPSe Prolog 中实现一个元程序，这是我编写的代码 - :- dynamic go/1. sol(true):- !. sol((A,B)):- !, sol(A), sol(B). sol(A):- cl…
定义新运算符时遇到问题
我试图定义一个中缀运算符，但我不断收到错误。我正在使用 GNU Prolog 1.4。 我试过这个： [用户]。 op(35, xfx, =>). ctrl-D 但收到错误“本机代码过…
