An operational semantic approach to continuation style interpreter of logic programs

淡江大學機構典藏 > 工學院 > 資訊工程學系暨研究所 > 期刊論文 > Item 987654321/45321

jsp.display-item.identifier=請使用永久網址來引用或連結此文件: https://tkuir.lib.tku.edu.tw/dspace/handle/987654321/45321

题名:	An operational semantic approach to continuation style interpreter of logic programs
作者:	施國琛;Shih, Timothy K.
贡献者:	淡江大學資訊工程學系
关键词:	Logic programming;VDM;Prolog;Continuations
日期:	1998-06-01
上传时间:	2010-03-26 18:58:27 (UTC+8)
出版者:	Elsevier
摘要:	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.
關聯:	Information sciences 107(1-4), pp.15-36
DOI:	10.1016/S0020-0255(97)10040-8
显示于类别:	[資訊工程學系暨研究所] 期刊論文

文件中的档案:

档案	大小	格式	浏览次数
	0Kb	Unknown	315	检视/开启

在機構典藏中所有的数据项都受到原著作权保护.

TAIR相关文章