[[notice]]補正完畢[[conferencetype]]國內[[conferencedate]]19941201~1994120

施國琛

Timothy K. Shih

Asia University Repository

Continuation Semantics of Logic Programs with Disciplined Exception Handling

Tamkang University Institutional Repository

Continuation Semantics of Logic Programs with Disciplined Exception Handling  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. 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.  

Continuation semantics of logic programs with disciplined exception handling

http://tkuir.lib.tku.edu.tw:8080/dspace/bitstream/987654321/37360/1/Continuation%2BSemantics%2Bof%2BLogic%2BPrograms%2Bwith%2BDisciplined%2BException%2BHandling_%E8%A5%BF%E6%96%87%E6%91%98%E8%A6%81.pdf

Continuation semantics of logic programs with disciplined exception handling

Abstract

Similar works

Full text

Available Versions

Asia University Repository

Tamkang University Institutional Repository