An Operational Semantics Approach to Disciplined Exceptions in Logic Programming
T. Shih ; F. Lin
Computing and Informatics, Tome 28 (2012) no. 1, / Harvested from Computing and Informatics
This paper presents a disciplined exception mechanism based on continuations. Continuations provide mechanisms for labels and jumps. We present a mechanism to preserve a Prolog program continuation to be invoked at a later point. This mechanism is used in the design of exception signals, handlers, and  exception continuations for logic programs. An exception continuation specifies how a computation should continue (e.g. resume, undo, alternate, or terminate) after an exception is raised. Short examples illustrate the difficulty of recovering from error conditions in logic programs using traditional control constructs, and show how easily they can be handled using our approach. The Z notation is used to specify the continuation semantics of logic programs with exceptions. Based on the semantic functions, an interpreter written  in Prolog is derived to justify our approach.
Publié le : 2012-01-26
Classification: 
@article{cai219,
     author = {T. Shih and F. Lin},
     title = {An Operational Semantics Approach to Disciplined Exceptions in Logic Programming},
     journal = {Computing and Informatics},
     volume = {28},
     number = {1},
     year = {2012},
     language = {en},
     url = {http://dml.mathdoc.fr/item/cai219}
}
T. Shih; F. Lin. An Operational Semantics Approach to Disciplined Exceptions in Logic Programming. Computing and Informatics, Tome 28 (2012) no. 1, . http://gdmltest.u-ga.fr/item/cai219/