開發者 xsb.sf.net

Unix 和 Windows 的邏輯程式設計和演繹資料庫系統（表 Prolog）。