aglew@ccvaxa.UUCP (03/12/88)
I would imagine that the Quine-McKluskey (spelling?) algorithm can be implemented in Prolog as well as other languages...