纯Prolog-微积分等式

想象一种明显的关系并不难 对于皮亚诺数字。甚至有可能使一个具体化 eq/3类谓词 here .

现在的问题是,我们能否突破界限 实施方案 equal? 以纯粹和具体化的方式进行谓词? 例如,问题在于实现这种减少, 也称为规则(见第6章扩展 here ):

δxx ~~> T 
δxy ~~> F if x and y are not identical

如果术语用deBruijn索引表示。这个 将阿尔法转换纳入 平等? 谓语 除了处理列表(树)之外。纯净可以意味着内在纯净 如逻辑纯度标签中所定义的。

测试用例是与列表(树)的纯粹交集,而不仅仅是皮亚诺数。