催眠

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


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年)