期刊論文
| 學年 | 86 |
|---|---|
| 學期 | 2 |
| 出版（發表）日期 | 1998-06-01 |
| 作品名稱 | An operational semantic approach to continuation style interpreter of logic programs |
| 作品名稱（其他語言） | |
| 著者 | 施國琛; Shih, Timothy K. |
| 單位 | 淡江大學資訊工程學系 |
| 出版者 | Elsevier |
| 著錄名稱、卷期、頁數 | Information sciences 107(1-4), pp.15-36 |
| 摘要 | 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. |
| 關鍵字 | Logic programming; VDM; Prolog; Continuations |
| 語言 | en |
| ISSN | 0020-0255 |
| 期刊性質 | 國內 |
| 收錄於 | |
| 產學合作 | |
| 通訊作者 | |
| 審稿制度 | 否 |
| 國別 | TWN |
| 公開徵稿 | |
| 出版型式 | ,電子版 |
| 相關連結 |
機構典藏連結 ( http://tkuir.lib.tku.edu.tw:8080/dspace/handle/987654321/45321 ) |