Prolog中两个执行偶数和奇数的区别

Posted 2021-04-18

我有两个Prolog的实现，函数是决定给定的数字是奇数还是偶数

第一个正常工作

even1(0).
even1(X) :- X>0 ,X1 is X-1, odd1(X1).

odd1(1).
odd1(X) :- X>1 , X1 is X-1, even1(X1).

even1（2）返回true

但第二个不能正常工作

even2(0).
even2(X) :- X>0 , odd2(X-1).

odd2(1).
odd2(X) :- X>1 , even2(X-1).

even2（2）返回false可以有人向我解释什么是两者之间的区别？

答案

Prolog是一种关系语言，而不是一种功能语言。因此，当您调用odd2(X-1)时，谓词参数X-1不会被计算为表达式，而是被解释为复合词：

?- functor(X-1, Name, Arity).
Name =  (-),
Arity = 2.

您可以检查Prolog通过使用系统跟踪功能证明查询时会发生什么：

?- trace.
true.

[trace]  ?- even2(2).
   Call: (8) even2(2) ? creep
   Call: (9) 2>0 ? creep
   Exit: (9) 2>0 ? creep
   Call: (9) odd2(2-1) ? creep
   Call: (10) 2-1>0 ? creep
   Exit: (10) 2-1>0 ? creep
   Call: (10) even2(2-1-1) ? creep
   Call: (11) 2-1-1>0 ? creep
   Fail: (11) 2-1-1>0 ? creep
   Fail: (10) even2(2-1-1) ? creep
   Fail: (9) odd2(2-1) ? creep
   Fail: (8) even2(2) ? creep
false.

请注意，表达式2-1-1的计算结果为零，但是，作为一个复合项，调用even2(2-1-1)不会与谓词even2(0)的基本情况统一：

?- even2(2-1-1) = even2(0).
false.

?- 2-1-1 = 0.
false.

因此，Prolog尝试第二个子句，并且调用最终未通过X>0检查。注意>/2，作为算术比较谓词，它确实在实际比较之前评估它的参数。