Tarafından Programlar gprolog.sf.net

GNU Prolog, mantık programlama dili PROLOG'un ücretsiz bir uygulamasıdır (GPL altında). Bu yürütme son derece hızlı yerli makine kodu na derleyebilir. Başka bir özellik dahil kısıtlama çözücüdür.