Related? work

[Sandy Harris]

Has anyone from the Mercury team looked at:
	Klaus Truemper "Effective Logic Computation",
	John Wiley 1998, ISBN 0-471-23886-4
Methinks there are ideas there that might be useful.

His stuff seems much less flexible than Mercury; it's not
a general-purpose programming language, only a solver for
SAT and minimisation problems, and he assumes those are in
CNF form before he starts.

On the other hand, he seems to have some interesting solution
methods and efficiency proofs for many of them.

Author's home page, with links to free distribution of his
Leibniz software:
http://www.utdallas.edu/~klaus