โปรแกรมตาม gprolog.sf.net

GNU Prolog เป็นการใช้งานฟรี (ภายใต้ GPL) ของภาษาการเขียนโปรแกรมตรรกะ PROLOG มันสามารถรวบรวมไปยังรหัสเครื่องพื้นเมืองซึ่งรวดเร็วมากในการดําเนินการ อีกคุณลักษณะหนึ่งคือตัวแก้ปัญหาข้อจํากัดที่รวมอยู่ด้วย