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