% Add the tactics directory to the path and load some modules form
% there. 
#set path "/share/pub/miller/elios/lProlog/examples/ljfol/ " path.

% First, load the basics for first-order formulas: declarations, and
% a printer and parser.

#load "fol.mod".
#load "lex.mod".
#load "parser.mod".
#load "printer.mod".
#begin.
module examples.
import fol, parser, printer.
type null       i.
type cons       i -> i -> i.
type app        i -> i -> i -> form.
type mem        i -> i -> form.

print_name_term null       "null" nil.
print_name_term (cons X Y) "cons" (X::Y::nil).
print_name_pred (app X Y Z) "app" (X::Y::Z::nil).
print_name_pred (mem X Y) "memb" (X::Y::nil).

type test  string -> o.
test String :- 
  print String, print "\n", read_form String Form, write_form Form, print "/n".

#end.

#query examples  test "(app null null null)".