Declarative Specification and Interpretation of Rule-Based Systems

All Papers

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.