Programy według gprolog.sf.net

GNU Prolog to darmowa implementacja (w ramach GPL) języka programowania logicznego PROLOG. Można skompilować do natywnego kodu maszynowego, który jest bardzo szybki w wykonaniu. Inną funkcją jest dołączony solver ograniczeń.