In this section we give a brief introduction into the
architecture of the Jekejeke Minlog extension. We will highlight
the following points:
- Clause Indexing: The
Jekejeke Minlog extension is based on a notion of clause Java
objects. We will explain how these objects come into being and
how these objects are associated with the knowledge base. More...
- Forward Chaining: The Jekejeke Minlog extension is
further based on a forward chaining rule language and on a
forward chaining engine. Forward chaining rules allow the
declarative definition of the addition and removal of clause
- Attribute Variables:
The Jekejeke Minlog extension finally provides attribute
variables. These variables provide the glue between the forward
chaining engine and the native Prolog unification. Access is
possible in both directions. More...