纯序言δλ-微积分等式
想出一个外表关系并不难 对于皮亚诺数字。它甚至可以...
NU-Prolog 和 Gödel 的逻辑和合理的“if-then-else”扩展
关于 <a href="https://www.sciencedirect.c...
统一谓词 (=)/2 与一阶等式有何不同？
标签 <a href="https://stackoverflow.com/q...
“几乎纯粹的”Prolog 是否具有表现力？
@<a href="https://stackoverflow.com/users...
一个规则的纯 Prolog 元解释器
我想知道是否有一个纯 Prolog 元解释器 只有一个规则...
Pure Prolog Peano Number 公寓
让我们假设有带 dif/2 的 pure_2 Prolog 和不带 dif...
纯 Prolog Peano 列表交集
假设我们只查看 Peano 数字列表。让 假设 pure_2 Pr...
Peano算术中的“less/2”关系
Peano 算术中的这个<em>小于</em>谓词 ...
纯 Prolog Scheme Quine
有这篇论文： <块引用> 威廉 E.伯德、埃里克霍...
SWI-Prolog 中正确的 unify_with_occurs_check/2 ？
有这种奇怪的行为。我正在运行这些测试用例： <p...