I'm going to package GNU Prolog (`gprolog'). It is a GPLed Prolog
implementation with compiler to native machine code (Linux only on i386)
and finite domains constraint solver.
Milan Zamazal
--
"Having GNU Emacs is like having a dragon's cave of treasures."
Robert J. Chassell