開發者 gprolog.sf.net

GNU Prolog 是邏輯程式設計語言 Prolog 的免費實現（在 GPL 下）。它可以編譯為本機代碼，執行速度非常快。另一個功能是包含的約束解算器。