% Example with answer-predicate

set(auto).

list(usable).

-father(x, y) | parent(x, y).

-father(x, y) | -parent(y, z) | grandfather(x, z).

father(joe, john).

father(john, caroline).

-grandfather(x, caroline) | $answer(x).

end_of_list