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?
Doing h1 -no-resolve nspriv.p; zcat nspriv.log.gz fails.
Typically, zcat complains of nspriv.log.gz: unexpected end
of file. This is because h1 spawns a gzip -c
>nspriv.log.gz subprocess to compress the log file as it builds it.
The gzip process can only terminate once h1 has finished
working, but then needs some more time to complete compression.
Meanwhile, zcat starts decompresssing the file, and fails. I
currently know of no way to make h1 close the stream to its
subprocess then wait until its subprocess has completed.
If you want to use the log file produced by h1 in a script file,
better use the -log-out option, and read it from stdout. That is, use h1
-no-resolve -log-out nspriv.p instead of h1 -no-resolve
nspriv.p; zcat nspriv.log.gz.
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.