Declarative Specification and Interpretation of Rule-Based Systems

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.

• Type: Conference
• Year: 2008
• Where: FLAIRS
• Authors: Dietmar Seipel, Joachim Baumeister
• Keywords: Arbitrary Function Calls, Artificial Intelligence, Declarative Rule Inference, FLAIRS 2008, Prolog-based Declarative Extension