催眠

HYPROLOG：一种新的逻辑程序设计语言。我们提出了一种新的Prolog与假设和诱因的集成，它在完整性约束的约束处理规则（CHR）中实现并部分借用语法。假设是一种受线性逻辑启发并从假设语法中接管的机制。该语言在不同范式之间的交互中显示出一种新颖的灵活性，包括所有可能可用的内置谓词和约束求解器。假设和推论对语言处理特别有用，我们可以展示HYPROLOG如何与底层Prolog系统提供的语法符号无缝地协同工作。对于“纯”子语言，给出了一个符合标准声明语义的操作语义，而对于完整的HYPROLOG语言，则必须将其作为定义。实现很简单，似乎提供了诱拐，这是已知实现中最有效的实现；但是，代价是对否定的有限使用。主要区别在于。以前的诱因实现是，通过让Prolog直接执行演绎步骤，并将可预见性（以及假设）作为CHR约束来避免任何级别的元解释。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

zbMATH参考文献（14篇文章引用了，1标准件)

显示第1至14个结果，共14个。
按年份排序(引用)

  1. Bistarelli，Stefano；Martinelli，Fabio；Santini，Francesco：基于半环的带加权凭证访问控制中的演绎/诱拐推理框架（2012）
  2. Moniz Pereira，Luís；Pinto，Alexandre Miguel:检查逻辑程序中诱拐的副作用（2011）
  3. Alberti，Marco；Gavanelli，Marco；Lamma，Evelina:在诱拐证明过程中添加完整性约束（2010）
  4. Montali，Marco；Torroni，Paolo；Chesani，Federico；Mello，Paola；Alberti，Marco；Lamma，Evelina：诱拐逻辑编程作为声明性业务流程静态验证的有效技术（2010年）
  5. 乔恩·斯内尔斯；彼得·范维特；汤姆·施里杰弗斯；莱斯利·德科宁克：《随着时间流逝：约束处理规则》（2010）
  6. Christiansen，Henning:Prolog和约束处理规则的基于假设推理的可执行规范（2009）
  7. 克里斯汀森，亨宁；达尔，维尼卡：诱拐逻辑语法（2009）
  8. Marco Gavanelli；Alberti，Marco；Lamma，Evelina:SCIF中诱因推理和约束优化的集成（2009）
  9. Mancarella，Paolo；Terreni，Giacomo；Sadri，Fariba；Toni，Francesca；Endriss，Ulle:带约束的溯因逻辑编程的CIFF证明过程：理论、实现和实验（2009）
  10. Christiansen，Henning:用约束处理规则实现概率溯因逻辑程序设计（2008）
  11. Montali，Marco；Torroni，Paolo；Alberti，Marco；Chesani，Federico；Gavanelli，Marco；Lamma，Evelina；Mello，Paola：使用逻辑编程验证声明性规范（2008）
  12. Christiansen，Henning:关于全球绑架的实施（2007）
  13. Christiansen，Henning；Dahl，Veronica:HYPROLOG:A new logic programming language with assumptions and causion（2005年）
  14. Gabbrielli，Maurizio（编辑）；Gupta，Gopal（编辑）：逻辑程序设计。第21届国际会议，ICLP 2005，西班牙西茨，2005年10月2日至5日。诉讼程序。（2005年）