द्वारा कार्यक्रम gprolog.sf.net

जीएनयू प्रोलॉग तर्क प्रोग्रामिंग भाषा प्रोलॉग का एक मुफ्त कार्यान्वयन (जीपीएल के तहत) है। यह देशी मशीन कोड जो निष्पादन में बहुत तेजी से है संकलित कर सकते हैं। एक और विशेषता शामिल बाधा सॉल्वर है।