#load "/home/elios/miller/lProlog/cse360/mods/builtint.mod". #load "/home/elios/miller/lProlog/cse360/mods/btree.mod". #load "/home/elios/miller/lProlog/cse360/mods/difflist.mod". #load "/home/elios/miller/lProlog/cse360/mods/pairs.mod". #load "/home/elios/miller/lProlog/cse360/mods/path.mod". #load "/home/elios/miller/lProlog/cse360/mods/peano.mod". #load "/home/elios/miller/lProlog/cse360/mods/lists.mod". #load "/home/elios/miller/lProlog/cse360/mods/sorting.mod". #load "/home/elios/miller/lProlog/examples/tactics/goals.mod". #load "/home/elios/miller/lProlog/examples/tactics/tacticals.mod". #load "/home/elios/miller/lProlog/examples/tactics/toploop.mod". #load "/home/elios/miller/lProlog/examples/tactics/inter_tacs.mod". #load "/home/elios/miller/lProlog/examples/utilities/control.mod". #load "/home/elios/miller/lProlog/examples/utilities/lists.mod". #load "/home/elios/miller/lProlog/examples/utilities/alist.mod". #load "/home/elios/miller/lProlog/examples/hop/funs.mod". #load "/home/elios/miller/lProlog/examples/hop/preds.mod". #load "/home/elios/miller/lProlog/examples/hop/rels.mod". #load "/home/elios/miller/lProlog/examples/hou/hilbert.mod". #load "/home/elios/miller/lProlog/examples/hou/post.mod". #load "/home/elios/miller/lProlog/examples/lolli-interp/lollisig.mod". #load "/home/elios/miller/lProlog/examples/lolli-interp/llinterp.mod". #load "/home/elios/miller/lProlog/examples/lolli-interp/gaps.mod". #load "/home/elios/miller/lProlog/examples/concrete/dcg.mod". #load "/home/elios/miller/lProlog/examples/concrete/scan.mod". #load "/home/elios/miller/lProlog/examples/ljfol/fol.mod". #load "/home/elios/miller/lProlog/examples/ljfol/aux.mod". #load "/home/elios/miller/lProlog/examples/ljfol/printer.mod". #load "/home/elios/miller/lProlog/examples/ljfol/lex.mod". #load "/home/elios/miller/lProlog/examples/ljfol/parser.mod". #load "/home/elios/miller/lProlog/examples/ljfol/formulas.mod". #load "/home/elios/miller/lProlog/examples/ljfol/lj.mod". #load "/home/elios/miller/lProlog/examples/ljfol/rules.mod". #load "/home/elios/miller/lProlog/examples/ljfol/html.mod". #load "/home/elios/miller/lProlog/examples/ljfol/subst.mod". #load "/home/elios/miller/lProlog/examples/ljfol/unify.mod". #load "/home/elios/miller/lProlog/examples/ljfol/progs.mod". #load "/home/elios/miller/lProlog/examples/ljfol/utacs.mod". #load "/home/elios/miller/lProlog/examples/ljfol/displays.mod". #load "/home/elios/miller/lProlog/examples/ljfol/top.mod".