催眠是Prolog和Constraint Handling Rules(CHR)的一个扩展,带有诱因和假设。该系统基本上是由一个编译器实现的,该编译器将HYPROLOG语法以相当直接的方式翻译成Prolog和CHR;HYPROLOG查询 然后由Prolog和CHR直接执行。 目前可用于 SICStus Prolog 3和4以及SWI Prolog;请在左侧菜单中找到有关下载和使用条件的信息。

HYPROLOG与底层Prolog+CHR环境完全集成,这意味着所有内置和库谓词以及 约束解算器都可以用于诱因和假设。 它允许任何完整性约束,这些约束可以写成CHR规则。 HYPROLOG唯一重要的限制是它对否定的支持有限。

在效率方面,HYPROLOG系统是诱拐最快的实现之一,这是因为编译的方法,因此也采用了Prolog和CHR的底层优化编译器,以及它们未来的任何增强。HYPROLOG的假设比BinProlog中的硬连线版本慢10倍左右,但是未来CHR索引技术的改进可能会改变这一点。

HYPROLOG是由亨宁·克里斯蒂安森维罗妮卡·达尔实施单位亨宁·克里斯蒂安森.

另请参见使用条件(左菜单)。

©Henning Christiansen 2005-2016(网站和源代码)