द्वारा कार्यक्रम olp-api.sf.net

ऑन्टोलॉजिकल लॉजिक प्रोग्रामिंग, शीघ्र ही ओएलपी, ऑन्कोलॉजिकल तर्क और तर्क प्रोग्रामिंग का एक उपन्यास संयोजन है। यह प्रोलॉग कार्यक्रमों को गतिशील रूप से आगे बढ़ने के लिए आयात करने में सक्षम बनाता है और इन ओंलॉग से शर्तों का उपय