Как инвертировать в Прологе

Я новичок в 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)
| ?-