Tại sao truy vấn prolog này là đúng và sai?

Question

tôi nền tảng kiến ​​thức SWI-Prolog chứa hai sự kiện sau đây:

f(a,b). 
f(a,c). 

Bây giờ nếu tôi đặt ra các truy vấn

?- f(a,c). 
true. 

Nhưng

?- f(a,b). 
true ; 
false. 

Tại sao là f (a, b) cả đúng và sai? Điều này cũng xảy ra khi có ba sự kiện trong KB. Nếu tôi nối thêm f (a, d). với KB, thì f (a, d) là đúng (chỉ), nhưng f (a, b) và f (a, c) đều đúng và sai. Điều gì đang xảy ra, và tôi có thể làm gì để Prolog trả lời (chỉ) đúng với các truy vấn này?

Answer 1

(Lưu ý: câu trả lời này là phần nào của một đoán)

Hãy xem xét cách Prolog sẽ xác định xem f(a,c) là đúng hay không. Nó kiểm tra quy tắc đầu tiên, f(a,b) và không tìm thấy kết quả phù hợp, nhưng quy tắc thứ hai, f(a,c) đối sánh. Do đó, f(a,c) là sự thật. Hơn nữa, vì không có quy tắc nào khác cho f, không có điểm nào trong việc cho phép quay lại xảy ra - không có giải pháp khả thi nào khác.

Bây giờ hãy xem xét f(a,b). Prolog sẽ kiểm tra quy tắc đầu tiên và tìm một kết quả phù hợp. Do đó, f(a,b) là đúng sự thật. Tuy nhiên, không phải tất cả các quy tắc đều đã cạn kiệt. Do đó, Prolog sẽ cho phép tìm kiếm tiếp tục (nếu bạn nhấn ;). Khi bạn tiếp tục tìm kiếm và quay lại, nó sẽ phát hiện ra rằng các quy tắc còn lại, cụ thể là f(a,c), không khớp với f(a,b). Do đó, kết quả là sai.

Answer 2

Ngoài câu trả lời của Michael Williamson. Nếu bạn muốn yêu cầu Prolog ngừng tìm kiếm câu trả lời sau lần truy cập thành công đầu tiên, hãy sử dụng phần cắt (!):

?- f(a, b), !. 
true. 

?- f(a, c), !. 
true.