prolog - Prologで否定する方法

Question

私はPROLOGを初めて使用し、このページの演習の最初の段階にいます。ルールparent（X、Y）とmale（X）が与えられた場合、ルールmother（X、Y）を次のように定義しようとしています。

mother(X, Y) :-
    not(male(X)),
    parent(X, Y).

ただし、GNU Prologでは、次のエラーが発生します。

| ?- mother(lina, julia).
uncaught exception: error(existence_error(procedure,not/1),mother/2)
| ?- 

Answer 1

\+/1「negate」するISOProlog述語です。ここで「否定」とは、その時点では証明できないことを意味することに注意してください。

この件に関する詳細については、@falseでこの優れた回答を参照できます。

Answer 2

解決策は、実際にはそのページの演習ファイルにあります。

female(X) :- \+ male(X).

@Mogが言ったように、否定は単項演算\+子です。