PROGRAMS BY olp-api.sf.net

Ontological Logic Programming, shortly OLP, is a novel combination of ontological reasoning and logic programming. It enables Prolog programs to dynamically import ontologies and transperantly use the terms from these ontolog