錯誤Prolog程序

Question

在下面的代碼，我得到錯誤姐姐功能，在**

塊引用

人「非法字符」 \ = P1 * *（\ =爲不等於）

塊引用

個

疇 人= SYMBOL

PREDICATES 父（人，人） 女（人） 男（人） 母親（人，人） 父親（人，人） 祖父（人，人） 祖母（人，人） 姐（人，人）

CLAUSES 女（快活）。 女（syndra）。 女（朱麗葉）。 女（lisa）。

male(parker). 
male(peter). 
male(herry). 
male(bob). 
male(paul). 

parent(juliet,lisa). 
parent(bob,lisa). 
parent(bob,paul). 
parent(bob,merry). 

parent(juliet,paul). 
parent(juliet,merry). 
parent(peter,herry). 
parent(lisa,herry). 
parent(merry,parker). 
parent(merry,syndra). 

father(X,Person):-parent(X,Person) , male(X). 
mother(X,Person):-parent(X,Person) , female(X). 

grandfather(X,Person):-parent(Y,Person),father(X,Y). 
grandmother(X,Person):-parent(Y,Person),mother(X,Y). 

sister(X,Person):-parent(Z,X),parent(Z,Person),Person \= P1,female(Person). 

Answer 1

不知道，我不能嘗試，因爲我沒有渦輪增壓的Prolog的權利，但我依稀記得不需要變量聲明。

而且我懷疑孩子應該是Person（畢竟，一個孩子是個人）。嘗試用這種方法簡化

DOMAINS 

Person = SYMBOL 

PREDICATES 

parent(Person,Person) 
female(Person) 
male(Person) 
mother(Person,Person) 
...