Ontological Logic Programming (OLP)

軟體性質: 免費 ‎檔案大小: N/A
‎使用者評分: 4.0/5 - ‎1 ‎評分

本體邏輯程式設計,不久OLP,是一種新的結合本體論推理和邏輯程式設計。它使 Prolog 程式能夠動態導入到本體,並跨體使用這些本體的術語。

版本歷史記錄

  • 版本 files 發佈於 2010-06-29
    若干修復和更新
  • 版本 N/A 發佈於 2010-06-29

軟體細節