15 Bugs
There is no DTD for deterministic tree automata in XML format.
Yes, I know. Sorry. I don't know how to write DTDs. If anybody
wants to volunteer, the format should be clear from examples produced
by h1. Anyone?
h1 works for a long time, then gets “Killed”
A typical case is that you have exceeded some system quotas.
One case I had was that h1 was producing a log file
which turned out to exceed 2 Gb, and Linux could not handle
this. (Or, it does, but using non-portable system calls,
from what I understood.)
If you don't need the log file, use the -no-log option to h1. Otherwise, use the -log-out option to h1, and
redirected the standard output. E.g., instead of h1 blah.p,
use h1 -log-out blah.p > blah.log.
Clause names are lost in converting clauses to Prolog format.
Yes, this is unfortunate. A few cases have been corrected, by using
special comments. But more has to be done.