Jak zanegować w Prologu

Question

Jestem nowy w PROLOG i jestem na samym początku ćwiczeń na this page. Biorąc pod uwagę zasadami rodzic (X, Y) i mężczyzn (x), próbuję zdefiniować reguły matkę (X, Y), jak

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

Jednak w GNU Prolog pojawia się następujący błąd:

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

Answer 1

\+/1 jest predykatem ISO Prolog do "negacji". Zauważ, że "zanegować" oznacza tutaj nie do udowodnienia w tym momencie.

Można odwołać się do this excellent answer przez @false więcej na temat

Answer 2

Rozwiązaniem jest faktycznie w pliku ćwiczeń na tej stronie:

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

Jak powiedział @Mog, negacja jest jednoskładnikowa \+ operator.