開發者 lulu-logic.sf.net

Lulu logic programming interpreter 免費

Lulu 是一個軟體，用於實現邏輯程式設計，而沒有使代碼不站明的所有類比程式：即 Prolog。它利用動詞、名詞和形容詞，用堅定的罪來推理。