Programmi di gprolog.sf.net

GNU Prolog è un'implementazione gratuita (sotto GPL) del linguaggio di programmazione logica PROLOG. Può compilare in codice macchina nativo che è estremamente veloce nell'esecuzione. Un'altra feature è il risolutore di vinco