首頁
PC軟體
Mac軟體
Linux軟體
Android App
iOS App
提交軟體
開發者 olp-api.sf.net
Ontological Logic Programming (OLP)
免費
本體邏輯程式設計,不久OLP,是一種新的結合本體論推理和邏輯程式設計。它使 Prolog 程式能夠動態導入到本體,並跨體使用這些本體的術語。