## 15 Bugs

- There is no DTD for deterministic tree automata in XML format.
- `h1` works for a long time, then gets “Killed”
- Clause names are lost in converting clauses to Prolog format.

### 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.