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