• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Computers and Artificial Intelligence >AN OPERATIONAL SEMANTICS APPROACH TO DISCIPLINED EXCEPTIONS IN LOGIC PROGRAMMING
【24h】

AN OPERATIONAL SEMANTICS APPROACH TO DISCIPLINED EXCEPTIONS IN LOGIC PROGRAMMING

机译：逻辑程序中纪律例外的操作语义学方法

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

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. Short examples illustrate the difficulty of recovering from error conditions in logic programs using traditional control constructs, and show how easily they can be handled using our approach. 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.
机译：本文提出了一种基于延续的有纪律的异常机制。连续性提供标签和跳跃的机制。我们提出了一种机制，以保留要在以后调用的Prolog程序连续性。此机制用于设计逻辑程序的异常信号，处理程序和异常延续。异常延续指定在引发异常后如何继续计算（例如恢复，撤消，替代或终止）。简短的示例说明了使用传统控制结构从逻辑程序的错误条件中恢复的难度，并显示了使用我们的方法可以轻松地处理这些错误。 Z表示法用于指定逻辑程序具有异常的延续语义。基于语义功能，派生了用Prolog编写的解释器以证明我们的方法合理。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号