開發者 slpg.sf.net

Logic Program Generator 免費

SLPG（半自動邏輯程式產生器）是一個學術工具，其目標是幫助沒有經驗的邏輯程式師使用系統方法開發Prolog程式。