meta-predicate
-
Prolog 中的功能模式
-
接收目标列表作为输入的元谓词
-
Prolog 中的 Lambda 表达式？
-
不合格的断言会向哪些模块添加术语？
-
努力像功能映射函数一样使用 Prolog 的 maplist/2
-
meta_predicate 的数字参数在 SWI-Prolog 中是什么意思？
-
如何根据元素类型断言列表中的元素
-
Prolog 检查重复项以回答查询（简单方法？）
-
在不多次使用 call_nth/2 或不使用 findall/3 的情况下找到所需的解决方案？
-
foldl1 的序言实现
-
Prolog 中 `if_/3` 运算符的目标扩展
-
如何在序言中将谓词指定为另一个谓词的参数？
-
自定义 DCG 运算符
-
在序言中转换元谓词
-
对谓词进行抽象
-
如何在 Sicstus Prolog 的 CSP 中设置对变量的域
-
我可以在 call/2 中添加参数列表吗？
-
Prolog =.. 谓词的使用
-
具有参数化谓词的映射表
-
从多个列表中删除项目