将元组事实过滤到新列表
我在尝试过滤通过 CSV 导入的事实时遇到问题。我有以下 CSV 文件： "colA","colB","colC","colD" "what","is","the","chocolate" "hello","my","frien…
Prolog 代码 - 不知道它是做什么的
我想知道这段代码的作用： :- set_prolog_flag(toplevel_print_options, [quoted(true), portray(true), attributes(portray), max_depth(100)]). 我…
Linux g++在 C++ 中嵌入 Prolog 逻辑引擎
我在 C++ 程序中的一些逻辑不仅非常复杂，而且需要多种解决方案，而 Prolog 是理想的选择。它有点像防火墙配置脚本，检查操作的输入，但有时需要不止…
DSO 中的 SIGSEGV，混合 C/C++
我正在使用 C++ 的 SWI-Prolog 外语界面，尝试整合一些其他资源。 它基本上可以工作，但任何抛出异常的尝试都会导致 SIGSEGV。异常通常用于验证用户参…
在 SWI-Prolog 中对 OWL 本体执行 SPARQL 查询
我想知道在从 OWL/RDF 文件加载本体后如何在 SWI-Prolog 中执行 SPARQL 查询。 我发现可以通过 sparql_query/3 执行查询，但它需要服务器。…
为什么结果没有显示在我的 swi-prolog 编辑器中？
这是我的编辑。有什么问题？为什么结果没有显示（在这张图中必须显示 X=a , Y=b,c）？ https://i.sstatic.net/H5JsE.png？…
使用 :- 模块导出谓词
我知道我可以使用标准声明导出模块的谓词： :- module(my_test, [hello/1]). hello(a). hello(b). 但想知道是否有另一种方法可以在模块 my_test 中导…
SWI-Prolog - 显示长列表
我正在使用 SWI-Prolog，我正在尝试打印一个列表，但如果该列表有超过 9 个项目 - 它看起来像那样 - [1, 15, 8, 22, 5, 19, 12, 25, 3|...] 有没有办…
Predsort/3 类似于 msort/2
我想知道是否可以使用 predsort/3 而不丢失重复值？如果不是，那我应该如何对这个术语列表进行排序？ 当前排序函数： compareSecond(Delta, n(_, A, _…
使用phrase_from_file读取文件的行
我一直在尝试使用 phrase_from_file 和语法规则解析包含整数行的文件 line --> I,line,{integer(I)}. line --> ['\n']. ： phrase_from_file(line,'in…
如何解决“符号查找错误”在 Ubuntu11.04 上使用 JPL？
我正在用 Java 编写一个程序，我想连接到 Prolog。因此，我决定使用 JPL。在 Windows Vista 上使用 JPL 是完美的。后来，我不得不将操作系统平台更改…
如何使用 SWI-Prolog 的语义 Web 库查询 RDF/OWL？
如何使用 SWI-Prolog 语义 Web 库对 OWL/RDF 文件进行查询并提取一些信息？ OWL/RDF 文件包含有关所有 Debian 软件包的信息，因此我需要进行查询才能…
