logical-purity
-
对我的代码进行哪些最小的更改可以使其保持逻辑纯洁性？
-
如何为所有参数模式实现列表项删除？
-
Peano算术中的`less/2`关系
-
Pure Prolog Peano Number Apartness
-
具有一条规则的纯 Prolog 元解释器
-
"almost pure" Prolog 有表达力吗？
-
NU-Prolog 和哥德尔逻辑合理的“if-then-else”扩展
-
纯 Prolog 图灵完备吗？如果是，为什么它不能实现列表交集？
-
在查询中使用冗余目标
-
Prolog 中 `if_/3` 运算符的目标扩展
-
Prolog 中的双向链表
-
Prolog if-then-else 构造：-> vs *-> vs. if_/3
-
same_length/3有没有cut-less的实现方式？
-
如何实现 not_all_equal/1 谓词
-
字符串列表的最长公共前缀 (LCP)
-
Prolog，关于如何形成更好的条款
-
组合纯谓词
-
计算机功能必须满足哪些要求才能被考虑 "monotonic"？
-
if_/3有什么用？
-
序言存在时不给我解决方案