序言：妹妹/兄弟關係

Question

我想在Prolog中建立關係模型，但姐妹關係原來是失敗的。我想知道這是一個好的解決方案。我是初學者，這是我的第一個程序，歡迎任何幫助。

man(adam). 
man(peter). 
man(paul). 
man(carlos). 
man(willem). 

woman(marry). 
woman(eve). 
woman(greta). 
woman(lisa). 

parent(adam, peter). 
parent(eve, peter). 
parent(adam, paul). 
parent(marry, paul). 
parent(adam, willem). 
parent(adam, lisa). 
parent(eve, willem). 
parent(eve, lisa). 
parent(greta, adam). 
parent(carlos, adam). 

father(F, C) :- 
    man(F), 
    parent(F, C). 

mother(M,C) :- 
    woman(M), 
    parent(M, C). 

grandparent(P, C):- 
    parent(P, K), 
    parent(K, C). 

sister(x,y) :- 
    woman(x), 
    mother(m, x), 
    father(f, x), 
    mother(m, y), 
    father(f, y). 

Answer 1

您需要對sister\2謂詞中的變量使用大寫字母。在你的代碼中你有小寫字母，它們是原子，所以這總是會失敗，除非你有人叫x,y,f和m。

此外，添加X \= Y，以防止X是她自己的妹妹。