Efficient Forward Chaining for Declarative Rules in a Multi-Agent Modelling Language
Steve Wallis, Scott Moss · 1995
Most rule-based systems are imperative, or, if they are mainly declarative, also provide some imperative features. It is argued that a strictly declarative formalism with a sound logical basis is preferable.