Sample Prolog Session
Welcome to SWI-Prolog (Version 3.3.2)
Copyright (c) 1990-2000 University of Amsterdam. All rights reserved.
For help, use ?- help(Topic). or ?- apropos(Word).
% grandmother compiled 0.00 sec, 1,312 bytes
?- grandmother(X, alice).