開發者 olp-api.sf.net

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