To run the parser and pretty printer, do the following:

1) Start a shell and run "make" to build the executable "plog".

2) at the prompt, type: ``plog "program.plog";'' to parse and print the
   sample program from file "program.plog"


To do: implement the goal resolution funtion "solve" in file "solve.ml".