Bugs

These are the known bugs:

  1. Functors are permissable only in the main clause (object). Therefore nesting of structures must be done using lists, not predicates as in Prolog.
  2. There is a limit to the size of strings read in (about 5000 bytes).