Prolog的通配符

Question

我有以下条款：

a(1). 
a(a). 
b(3). 
b(a). 
c(A,B) :- b(B),!,a(A). 
c(X,_) :- a(X),b(X). 

查询c(A,B)只返回两个解决方案：A = 1, B = 3 and A = a, B = 3. 我跟踪c(A,B)，发现Prolog的甚至没有尝试第二条(c(X,_))。为什么？

Answer 1

序言剪切谓词或'！'，消除选择是一个Prolog派生树。

请检查其作用here