我有两个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 谁能给我解释一下两者之间有什么区别?
答案 0 :(得分:5)
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
作为算术比较谓词,确实会在实际比较之前评估其参数。