5
Kernel KR Focus
•Declarative Logic Programs expressiveness including
•  1. Datalog Horn LP     (N-ary predicates supported)
•  2. + scoped default negation applied to atoms
•           a. simple extensional
•            b. more general (allowing inferential chaining to establish the
•                                                          atom in question -- subset of, or full,
•                                                          Well Founded semantics)
•  3. + procedural attachments (external calls)
•            a. actions (side-effectful – external)
•            b. tests (side-effect-free queries)
•  4. + logical functions, incl. for object creation, skolemization
•                   a. limited initially (to ensure finite/tractable forward inferencing)
•                   b. more general (e.g., for backward chaining, “sugar” features)