Prolog的家谱编译错误

Question

编译这个时候我已经得到两个错误消息：

"Clauses of (-)/1 are not together in source-file" and 
"Singleton variables: [X]" 

...我已经得到了错误的这两个例子是...

我我已经尝试删除源代码中的一些事实，以便事实不会发生冲突，并且我试图将人们定义为原子而不是子句......他们都不像我希望的那样工作，任何想法？

male(X). 
female(X). 
parent(X,Y). 
father(X,Y):- male(X), parent(X,Y). 
mother(X,Y):- female(X), parent(X,Y). 
descendant(X,Y):- parent(Y,X). 
sibling(X,Y):- descendant(X,Z), descendant(Y,Z). 
brother(X,Y):- male(X), sibling(X,Y). 
sister(X,Y):- female(X), sibling(X,Y). 
grandparent(X,Y):- parent(X,Z), parent(Z,Y). 
paternalgrandparent(X,Y):- father(X,Z), father(Z,Y). 
ancestor(X,Y):- parent(X,Y). 
ancestor(X,Y):- ancestor(X,Z), parent(Z,Y). 
male(edward). 
male(sean). 
male(kevin). 
female(vicky). 
male(malcolm). 
male(claude). 
male(matthew). 
female(stephania). 
male(kurt). 
male(david). 
male(mark). 
male(raymond). 
female(therese). 
female(nadine). 
female(nathalie). 
male(richard). 
female(mary). 
male(john). 
female(lilian). 
female(inez). 
male(william). 
female(rose). 
male(richie). 
female(alice). 
brother(edward,vicky). 
brother(kevin,sean). 
brother(sean,vicky). 
sister(vicky,edward). 
brother(malcolm,claude). 
brother(claude,malcolm). 
brother(matthew,stephania). 
brother(kurt,matthew). 
sister(stephania,kurt). 
brother(david,mark). 
brother(mark,david). 
sister(therese,nadine). 
sister(nadine,therese). 
sister(lilian,inez). 
sister(inez,lilian). 
father(david,edward). 
mother(therese,edward). 
father(mark,malcolm). 
mother(nathalie,malcolm). 
father(raymond,matthew). 
mother(nadine,matthew). 
father(richard,david). 
mother(mary,david). 
father(john,therese). 
mother(lilian,therese). 
paternalgrandparent(richard,edward). 
grandparent(mary,edward). 
grandparent(lilian,edward). 
grandparent(john,edward). 
paternalgrandparent(richard,malcolm). 
grandparent(mary,malcolm). 
grandparent(lilian,matthew). 
grandparent(john,matthew). 
father(william,richard). 
mother(rose,richard). 
paternalgrandparent(william,david). 
grandparent(rose,david). 
father(richie,william). 
mother(alice,william). 
paternalgrandparent(richie,richard). 
grandparent(alice,richard). 
ancestor(richie,william). 
ancestor(alice,william). 
ancestor(william,richard). 
ancestor(rose,richard). 
ancestor(richard,david). 
ancestor(mary,david). 
ancestor(david,edward). 
ancestor(therese,edward). 
ancestor(lilian,therese). 
ancestor(john,therese). 
ancestor(lilian,nadine). 
ancestor(john,nadine). 
ancestor(richard,mark). 
ancestor(mary,mark). 

Answer 1

的“条款是不能在一起”是最简单的错误需要修正：以这样的方式简单地重新安排你的程序的事实具有相同名称的所有事实（如male/1，female/1等）一起出现在您的程序的源代码中。

的“单变量”的错误是从这些行来：

male(X). 
female(X). 
parent(X,Y). 

变量是单当enture规则或事实只提到一次吧。如果您确实需要这些变量，则应该用下划线替换它们。然而，在你的情况，你不希望这些变量：否则，像这样

male(_). 

的规则会断言，人都是男性，你不希望这样的事情发生。你应该简单地删除这些规则以使单例错误消失。

但是，程序的最大问题是您正在尝试为通过规则定义的事物定义事实。您需要的事实是male/1,female/1和parent/2。其他一切都可以通过规则正确派生。

Answer 2

它们应该只是警告而不是错误。 第一条消息是告诉你一起定义谓词。

因此，例如

male(edward). 
male(sean). 
male(kevin). 
female(vicky). 
male(malcolm). 

不好。 原因是你你传播了男性的定义，代码变得完全不可读。

第二个是告诉你，如果你在头部使用一个变量，你应该在身体中使用它。

因此，例如

male(X). 

不好。你可以写

male(_). 

同样，很多时候单变量在你试图写什么引起的错误，所以最好使用_使他们的使用显式。