Prolog 中的 DCG ߞ字符串
我正在使用 Prolog 的内置 DCG 功能编写一个 Lisp 到 C 的翻译器。这就是我处理算术的方式: expr(Z) --> "(", "+", spaces, expr(M), spaces, expr…
序言,测试(X,Y,Z):- Y 是 X + Z
当我只知道X时,如何在序言中得到Y和Z? 例如: test(X, Y, Z) :- X is Y + Z. 但是错误: ?- test(2, Y, Z). ERROR: is/2: Arguments are not suffic…
Prolog - 矩阵中行的总和
一个 nxn 矩阵可以表示为 n 个列表的列表,每个列表有 n 个元素, 矩阵实际上可以 1 2 3 4 5 6 7 8 9 写为 [[1, 2, 3], [4, 5, 6], [7, 8, 9]]。 我需…
在 prolog 中将浮点数转换为整数
如何在prolog中将浮点数转换为整数? 我试过: ?- integer(truncate(sqrt(9))). false. ?- integer(round(sqrt(9))). false. …
.如何在Prolog中的写入谓词中写入单引号( ' )?
我想在程序的开头添加简短的信息,我就像这样 message :- nl,nl, write(' To start type '), nl, write(' ?- solve(Input1,Input2,Output3) '), nl. :…
一遍又一遍地给出相同的答案,而不是侦听器崩溃 - Prolog
警告,我对 Prolog 还很陌生。 我在 Prolog 中编写了一个分割谓词。它将一个列表拆分为两个新列表。一种包含大于 Key 的项目,另一种包含小于或等于 K…
Prolog 执行查询
这直接来自在线教程,我得到了一个自上而下的设计错误,有帮助吗? employee(193,'Jones','John','173 Elm St.','Hoboken','NJ', 12345,1,'25 Jun 93'…
gnuprologjava问题
我正在使用 http://www.gnu.org/software/gnuprologjava/ 执行序言来自 Java 应用程序的东西。 在这种情况下,我加载以下 prolog 文件: /* ghoul is …
如何在 Java 中使用 Prolog?
在 Java/Eclipse 应用程序的上下文中,我想使用 Prolog 来完成特定任务。有哪些可用的解决方案和工具可以实现这一点,以及相关的优缺点? 我可以启动…
Prolog 的 =.. 功能
使用Prolog的=..,是否可以从[f,x,g,x]得到诸如f(x),g(x)之类的东西?我可以使用 H =.. [f,x,g,x] 来获取 f(x,g,x) 但这不是我想要的。如果这是一个愚…
请帮忙解决一个简单的 Prolog 问题
我的程序中有以下 Prolog 代码: conn([oxford_circus, baker_street], 4). conn([baker_street, kings_cross], 5). conn([oxford_circus, warren_str…