Declarative Specification and Interpretation of Rule-Based Systems

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


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.