羟脯氨酸

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

本软件关键词

这里的任何东西都将在支持画布元素的浏览器上被替换。

ZBMaX中的参考文献（14篇）1标准条款）

显示结果1至14的14。
按年份排序（引文）

  1. Bistarelli，斯蒂法诺；马蒂内利，法比奥；桑蒂尼，弗朗西斯科：一种基于半环的加权证书访问控制推理/推理推理框架（2012）
  2. Moniz Pereira、卢、平托、Alexandre Miguel：考察逻辑程序中绑架的副作用（2011）
  3. Alberti，马珂；GavaNeLi，马珂；LAMMA，EVELINA：在溯因证明过程中增加完整性约束的运行时间（2010）
  4. 蒙塔利，马珂；Torroni，Paolo；Chesani，费德里克；梅洛，葆拉；Alberti，葆拉；LAMMA，EVELINA：溯因逻辑编程作为声明性业务过程静态验证的有效技术（2010）
  5. Sneyers，乔恩；van Weert，彼得；施里夫斯，汤姆；de Koninck，莱斯利：随时间流逝：约束处理规则（2010）
  6. 克里斯琴，Henning：基于Prolog和约束处理规则的基于假设的推理的可执行规范（2009）
  7. 克里斯琴，Henning；达尔，弗·尼卡：溯因逻辑文法（2009）
  8. Gavanelli，马珂；Alberti，马珂；LAMMA，EVELNINA：SIFF中的溯因推理与约束优化的集成（2009）
  9. Mancarella，Paolo；Telei，Giacomo；Sadri，Fariba；托妮，弗朗西丝卡；恩德里斯，ULLE：具有约束条件的溯因逻辑程序的CIFF证明过程：理论、实现和实验（2009）
  10. 克里斯琴，Henning：用约束处理规则实现概率溯因逻辑程序设计（2008）
  11. 蒙塔利，马珂；Torroni，Paolo；Alberti，马珂；Chesani，费德里克；GavaNeLi，马珂；LAMMA，Evelina；Fig，Y:使用逻辑程序设计的声明性规范验证（2008）
  12. 克里斯琴、Henning：全球诱拐的实施（2007）
  13. 克里斯琴，Henning；达尔，VeloNICA：HyLogLog:一种具有假设和溯因的新逻辑程序设计语言（2005）
  14. Gabbrielli，Maurizio（ED）；Gupta，GopAl（Ed.）：逻辑编程。第二十一届国际会议，ICLP 2005，锡切斯，西班牙，10月2日- 5, 2005。诉讼程序。（2005）