Courteous Compiler
Transformer compiles a courteous LP into an ordinary LP.
A radically innovative approach in rules representation.
“Compiles away” conflict, as modular add-on to rule system X’s
- inferencing
- specification
Enables courteous features to be added to, or implemented in, a variety of rule systems.