#set path "/home/trantor.22/dale/www/lProlog/examples/fol/ " path. #load "fol.mod". #load "folpn.mod". #load "formulas.mod". #load "progs.mod". #load "printer.mod". #load "lex.mod". #load "parser.mod". #load "aux.mod". #load "subst.mod". #load "unify.mod".