Program menurut olp-api.sf.net

Pemrograman Logika Ontologis, tak lama OLP, adalah kombinasi baru dari penalaran ontologis dan pemrograman logika. Ini memungkinkan program Prolog untuk secara dinamis mengimpor ontologi dan secara transperant menggunakan ist