我在理解為什么我的序言中的代碼為什么會根據(jù)我放置規(guī)則的順序執(zhí)行某些操作時遇到麻煩。這是我的數(shù)據(jù)庫：parent(tom, bob).parent(tom, liz).parent(mary, bob).parent(mary, liz).male(tom).male(bob).female(mary).female(liz).以下是規(guī)則：%difference(X, Y) ==> Predicate to check if two people X and Y are not the same person.difference(X, Y) :- \==(X, Y).father(X, Y) :- male(X), parent(X, Y), difference(X, Y).mother(X, Y) :- female(X), parent(X, Y), difference(X, Y).sibling(X, Y) :-    difference(X, Y),    mother(M, X), mother(M, Y),    father(F, X), father(F, Y).問題是當我這樣做時?- sibling(bob, X).我懂了X = bob ;X = liz ;false.但是當我更改順序時（我在最后部分放了差（X，Y））sibling(X, Y) :-    mother(M, X), mother(M, Y),    father(F, X), father(F, Y),    difference(X, Y).我打電話?- sibling(bob, X).我懂了X = liz;false.這就是我想要的。到目前為止，我只看到規(guī)則的順序在進行遞歸時很重要。所以我不明白鮑勃仍然只是他自己的兄弟姐妹，因為我把差異檢查放在首位。謝謝你的幫助！