Sample Session

For help, use ?- help(Topic). or ?- apropos(Word).

?- [grandmother].

% grandmother compiled 0.00 sec, 1,312 bytes

Yes

?- grandmother(X, alice).

X = mary ;

X = valery ;