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