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)