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