Sun Jun 25 16:00:00 GMT 2000

family

%% sample file for Appendix B father(louis, ken). father(louis, paul). father(ken, ron). father(ken, mark). grandfather(X,Z) :- father(X,Y), father(Y,Z).


(google search) (amazon search)
1 2 3 second