Abstract
Purchase PDF (1007 K)
E-mail Article
Add to my Quick Links
Cited By in Scopus (0)
Purchase PDF (1125 K)
doi:10.1016/S0020-0255(97)10040-8 
Copyright © 1998 Published by Elsevier Science Inc.
An operational semantic approach to continuation style interpreter of logic programs
Timothy K. Shih
, *
Received 1 October 1996;
References and further reading may be available for this article. To view references and further reading you must purchase this article.
Abstract
A continuation represents the dynamic effect of the remainder of a program. We present a mechanism to save a Prolog program continuation as a label and the continuation can be invoked at a later point. The Vienna Definition Method (VDM) is used as the underlying mechanism to construct the operational semantics of Prolog language with labels. Besides the database predicates and the I/O predicates, our semantic also deals with continuation predicates which allow labels to be created and jumps to be made in the users program. Since most of the Prolog programs can be run as interactive processes, we also consider the user's input as it changes the variable binding. Based on the semantic functions, a metalevel interpreter is constructed showing the result of our work.
Author Keywords: Logic programming; VDM; Prolog; Continuations
