swi-prolog
-
将 SWI-Prolog 控制台输出重定向到一个文件
-
获取调用谓词的名称
-
如何检查一个字符串只包含 Prolog 中的某些字符?
-
有人知道 XML 到 SWI-Prolog 的绑定工具,类似于 Java 的 JAXB 或 C++ 的 XSDE 吗?
-
确保谓词确定性地成功
-
删除 Prolog 中的单个 quotes/quotation 标记
-
在 Prolog 中使用 DCG 搜索列表中的元素
-
基于序言中的条件原子的拆分列表
-
Prolog 中的条件语句
-
将输入流转换为 ASCII:Prolog 代码的解释
-
current_predicate/1 不适用于 :- 动态?
-
Prolog,在开始执行时写一些东西
-
WARMR(ACE 套件):从频繁模式中消除 "connected" 个术语
-
"strptime" 在 SWI-Prolog 中
-
在 Prolog 中将列表元素更改为带空格的字符串
-
识别以“?”结尾的短语来自 Prolog 中的给定文本
-
列表总和上的参数未充分实例化
-
Mac 带有黑色突出显示的 Prolog 控制台文本
-
German Umlaute 的问题,从 SWI Prolog 到 JAVA 的 TCPIP
-
有没有办法避免在 SWI-Prolog 控制台中为模块的每个谓词添加前缀?