English  |  正體中文  |  简体中文  |  全文筆數/總筆數 : 58323/91877 (63%)
造訪人次 : 14330711      線上人數 : 32
RC Version 7.0 © Powered By DSPACE, MIT. Enhanced by NTU Library & TKU Library IR team.
搜尋範圍 查詢小技巧:
  • 您可在西文檢索詞彙前後加上"雙引號",以獲取較精準的檢索結果
  • 若欲以作者姓名搜尋,建議至進階搜尋限定作者欄位,可獲得較完整資料
  • 進階搜尋
    請使用永久網址來引用或連結此文件: http://tkuir.lib.tku.edu.tw:8080/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
    顯示於類別:[資訊工程學系暨研究所] 期刊論文


    檔案 大小格式瀏覽次數



    DSpace Software Copyright © 2002-2004  MIT &  Hewlett-Packard  /   Enhanced by   NTU Library & TKU Library IR teams. Copyright ©   - 回饋