Guard Compilation in Logic Shared Dataspace Languages
Mauro Gáspari · International Conference on Lightning Protection · 1993
In this paper we study problems related to the implementation of a class of rule-based shared dataspace languages. First we give a survey of these languages. Then we concentrate on the rule evaluation problem investigating both semantics and implementation issues. A new semantics for the evaluation of the precondition of a rule is proposed and techniques to efficiently compile them are described. In particular an indexing technique to support the compilation of these languages into Prolog is presented.