Prolog

Home > Philosophy > Ontology > Ontology Languages > Prolog

A general-purpose logic programming language that can be used to implement and reason about ontologies and knowledge bases.