An Approach to the Implementation of Overlapping Rules in Standard ML

Riccardo Pucella

We describe an approach to programming rule-based systems in Standard ML, with a focus on so-called overlapping rules, that is rules that can still be active when other rules are f…