This directory contains Prolog code for the McCune/Henschen
relational database update problem [JACM 36(1), pp. 46-68, 1989].

At one time, the code ran under Quintus Prolog and C-Prolog.

For sample Prolog input, see the files logs/run*.
For sample output, see logs/log*.

If I recall correctly, go/3 is Procedure A, and go3/3 is procedure B.
