Dietmar Seipel, Joachim Baumeister
A declarative rule inference engine can be very useful for modern distributed or heterogeneous applications, if it can be configured for multiple semantics and evaluation strategies, and if it allows for arbitrary function calls in rule bodies. We present a Prolog-based declarative extension of the deductive database language Datalog to more general rule-based applications.
Subjects: 10. Knowledge Acquisition; 11. Knowledge Representation
Submitted: Feb 25, 2008