Programma's van gprolog.sf.net

GNU Prolog is een gratis implementatie (onder GPL) van de logic programmeertaal PROLOG. Het kan compileren tot native machine code die zeer snel in uitvoering. Een andere functie is de meegeleverde beperking oplosser.