寻找SWI-prolog记录库的例子
Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers. 要求我们推荐或查找工具、库或最喜欢的…
从 python 调用 prolog 谓词
我有一些 .pl 文件，我想从 python 脚本调用其中声明的谓词。我怎样才能做到这一点？ 例如， test.pl 的 rD( [], Ans, Ans ). rD( [X|Xs], Ans, Acc )…
在 SWI-Prolog 中聚合谓词
我需要计算 some_predicate(X) 成立的所有 X，而且确实有很多这样的 X。 最好的方法是什么？ 第一个线索是findall，累积到一个列表并返回列表的长度。…
检查原子是否是小写字母
我这样做是这样的： foo(N) :- name(N, [Code]), name(a, [CodeA]), name(z, [CodeZ]), CodeA =< Code, Code =< CodeZ. 有没有一种方法感觉不像这…
在 swi-prolog 中，如何漂亮地打印从 load_xml_file('file.xml', Term) 获取的术语？
swi-prolog 使用 list of list of list of ... 来表示 XML 树。 我试过 write(Term) 它缩进不好，而且 format(Term) 它不支持列表，而且 pretty_print…
如何在通过 JPL 在 Java 应用程序内运行的 Prolog 代码上使用 GUI 调试器？
我正在通过 JPL 桥开发 Java+Prolog 应用程序。主要应用程序是用 Java 编写的，它使用 Query.oneSolution("doPrologStuff(here)") 调用 Prolog 代码 …
SWI-Prolog 文件需要开始和结束字符吗？
我是 SWI-Prolog 的新手，正在尝试一些教程。然而，我尝试通过命令行加载的每个文件都会收到 2 条错误消息 - 一条位于开头（操作员预期），一条位于末…
如何在 XPCE 中读取 prolog 谓词
我有以下简单的序言谓词： tst(In, Out) :- Out = In. 这个想法很明确，只需在“Out”中返回与“In”中收到的相同内容即可。好的，现在我想在 XPCE 程…
不太像 (swi) prolog 的寻呼机
Unix 中的典型工作流程是使用一系列过滤器，最后是一个寻呼机，例如 less。例如（省略参数） grep | sed | awk | less 现在，swi-prolog 命令行中的典…
如何在 swi-prolog 中分割句子
我正在尝试在 win xp 中使用 SWI-Prolog。我试图了解如何将 Prolog 中的句子分成单独的原子。 例如：假设我有一个这样的句子： “这是一个字符串” 有…
为什么这个序言查询既正确又错误？
我的 SWI-Prolog 知识库包含以下两个事实： f(a,b). f(a,c). 现在，如果我提出查询 ?- f(a,c). true. 但是 ?- f(a,b). true false. 为什么 f(a,b) 既…
从 php 调用 swi-prolog
我正在尝试从 php 脚本中调用 swi-prolog，例如： exec("start plwin.exe -f C:\\path\\load.pl -g run_from_file.", $os1) print_r($os1) 我可以看到…
