% see http://www.swi-prolog.org/FAQ/Multifile.html :- multifile animal/1. cat(tom). animal(X):- cat(X).