Visual prolog 程序错误1010 Prolog 谓词 不确定男性（符号） 不确定女性（符号） 不确定的妻子（符号，符号） 非确定性（符号，符号） 不确定父亲（符号，符号） 不确定兄弟（符号，符号） 不确定姐妹（符号，符号） 非确定性声波（符号，符号） 不确定的兄弟法（符号，符号） 不确定叔叔（符号，符号） 不确定同级（符号，符号） 不确定的孙子（符号，符号） 不确定祖父（符号，符号） 条款 男（马克）。 男（艾哈迈德）。 男（泽山）。 男（夏季）。 女（莎拉）。 女性（萨那）。 妻子（莎拉，马克）。 妻子（萨那，艾哈迈德）。 母亲（X，Y）：-女性（X），父亲（Z，Y），妻子（X，Z），XY。 母亲（萨拉，萨那）。 父亲（X，Y）：-男性（X），母亲（Z，Y），妻子（Z，X），XY。 兄弟（X，Y）：-男性（X），父亲（Z，X），父亲（Z，Y），XY。 姐妹（X，Y）：-女性（X），父亲（Z，X），父亲（Z，Y），XY。 女婿（X，Y）：-男性（X），父亲（Y，Z），妻子（Z，X）；男性（X），母亲（Y，Z），妻子（Z，X），XY。 姐夫（X，Y）：-男性（X），姐妹（Z，X），妻子（Z，Y）。 兄弟姐妹（X，Y）：-兄弟（X，Y）；修女（X，Y），XY。 叔叔（X，Y）：-兄弟姐妹（X，Z），父亲（Z，Y），XY。 祖父（X，Y）：-父亲（X，Z），父亲（Z，Y）；父亲（X，Z），母亲（Z，Y），XY。 孙子（X，Y）：-父亲（Z，X），父亲（Y，Z）；父亲（Z，X），母亲（Y，Z），XY。 目标 叔叔（马克，萨那）。

我的序言给了我错误1010。

这应该行得通 在WIP7中，这是有效的

PREDICATES

nondeterm male(symbol)
nondeterm female(symbol)
nondeterm wife(symbol,symbol)

nondeterm mother(symbol,symbol)
nondeterm father(symbol,symbol)
nondeterm brother(symbol,symbol)
nondeterm sister(symbol,symbol)
nondeterm sonInLaw(symbol,symbol)
nondeterm brotherInLaw(symbol,symbol)
nondeterm uncle(symbol,symbol)
nondeterm sibling(symbol,symbol)
nondeterm grandson(symbol,symbol)
nondeterm grandfather(symbol,symbol)

Clauses

male(mark).
male(ahmed).
male(zeeshan).
male(summer).

female(sara).
female(sana).

wife(sara,mark).
wife(sana,ahmed).

mother(X,Y):-female(X),father(Z,Y),wife(X,Z),X<>Y.
mother(sara,sana).

father(X,Y):-male(X),mother(Z,Y),wife(Z,X),X<>Y.

brother(X,Y):-male(X),father(Z,X),father(Z,Y),X<>Y.

sister(X,Y):-female(X),father(Z,X),father(Z,Y),X<>Y.

sonInLaw(X,Y):-male(X),father(Y,Z),wife(Z,X) ; male(X),mother(Y,Z),wife(Z,X),X<>Y.

brotherInLaw(X,Y):-male(X),sister(Z,X),wife(Z,Y).

sibling(X,Y):-brother(X,Y);sister(X,Y),X<>Y.

uncle(X,Y):- sibling(X,Z),father(Z,Y),X<>Y.

grandfather(X,Y):- father(X,Z), father(Z,Y);father(X,Z), mother(Z,Y),X<>Y.

grandson(X,Y):- father(Z,X), father(Y,Z);father(Z,X), mother(Y,Z),X<>Y.

Goal

uncle(mark,sana).

class predicates
    male:(symbol) procedure (x).
    female:(symbol) procedure (x).
    wife:(symbol,symbol)  procedure (x,y).
    mother:(symbol,symbol)  procedure (x,y).
    father:(symbol,symbol)  procedure (x,y).
    brother:(symbol,symbol)  procedure (x,y).
    sister:(symbol,symbol)  procedure (x,y).
    sonInLaw:(symbol,symbol)  procedure (x,y).
    brotherInLaw:(symbol,symbol)  procedure (x,y).
    uncle:(symbol,symbol)  procedure (x,y).
    sibling:(symbol,symbol)  procedure (x,y).
    grandson:(symbol,symbol)  procedure (x,y).
    grandfather:(symbol,symbol)  procedure (x,y).

clauses
    male(mark).
    male(ahmed).
    male(zeeshan).
    male(summer).

    female(sara).
    female(sana).

    wife(sara,mark).
    wife(sana,ahmed).

    mother(X,Y):-female(X),father(Z,Y),wife(X,Z),X<>Y.
    mother(sara,sana).

    father(X,Y):-male(X),mother(Z,Y),wife(Z,X),X<>Y.

    brother(X,Y):-male(X),father(Z,X),father(Z,Y),X<>Y.

    sister(X,Y):-female(X),father(Z,X),father(Z,Y),X<>Y.

    sonInLaw(X,Y):-male(X),father(Y,Z),wife(Z,X);male(X),mother(Y,Z), wife(Z,X),X<>Y.

    brotherInLaw(X,Y):-male(X),sister(Z,X),wife(Z,Y).

    sibling(X,Y):-brother(X,Y);sister(X,Y),X<>Y.

    uncle(X,Y):- sibling(X,Z),father(Z,Y),X<>Y.

    grandfather(X,Y):-father(X,Z),father(Z,Y);father(X,Z),mother(Z,Y), X<>Y.

    grandson(X,Y):- father(Z,X), father(Y,Z);father(Z,X), mother(Y,Z),X<>Y.
clauses
    run():-
        console::init(),
    uncle(mark,sana),
    programControl::sleep(1000).

check_determ