#set path "/home/trantor.22/dale/www/lProlog/examples/ ". #load "fol/fol.mod". #load "fol/folpn.mod". #load "fol/printer.mod". #load "fol/lex.mod". #load "fol/parser.mod". #load "fol/aux.mod". #load "fol/subst.mod". #load "fol/unify.mod". #load "tactics/goals.mod". #load "tactics/tacticals.mod". #load "tactics/toploop.mod". #load "ljfol/lj.mod". #load "ljfol/rules.mod". #load "ljfol/defs.mod". #load "ljfol/nats.mod". #load "ljfol/induction.mod". #load "cases/formulas.mod". #load "cases/defexs.mod". % Some predicates for printing to an html file. % #load "ljfol/html.mod". % This file is the top-level interpreter. #load "ljfol/displays.mod". #load "ljfol/top.mod".