| Home > Publications > Reports > Informatics (CW) |
CW 456
Bart Demoen and Phuong-Lan Nguyen
Reconstructing a semantics for Action Rules by a transformation to almost plain Prolog
Abstract
Action Rules are currently only implemented by B-Prolog. One reason is that it is difficult to extract their exact semantics from the manual or the implementation. This issue is attacked by describing a transformation from Action Rules to almost plain Prolog. The transformation captures most of the B-Prolog semantics, and shows clearly how it could be extended. It also allows for an easy to understand source level description of many optimizations.
report.pdf (199K) / mailto: B. Demoen