According to the logic-programming paradigm, ObjectLogic also provides the notion of predicates which represent the atomic pieces of knowledge (statements), which can be true or false. Since ObjectLogic is also based on the object-oriented paradigm, it not only provides plain predicates (as e.g. known from Prolog) but also offers epistemological primitives for modeling in an object-oriented way, i.e. subclasses, and instances-of relations but also specifications of the signatures for methods or the definition of the values for method applications.
In this section we present the different kinds of statements available in ObjectLogic.
|▪||Schema level statements|
|▪||Instance level statements|
Later in this documentation we will also discuss rules, which from a logical point of view also represent statements.
The object-oriented statements of ObjectLogic comprise F-Atoms and F-Molecules and are syntactically distinguished from plain predicates.