|
小Hypo
|
显示HYPROLOG语法，加载时，它将指示HYPROLOG编译器正在添加什么在地毯后面为不同的特殊构造。
请注意，HYPROLOG使用的内部规则略有不同适用于不同Prolog系统的版本。不计算有趣的函数。 |
|
湿草
|
文献中诱拐逻辑程序的标准示例。 |
|
数据库视图更新
|
通过视图将数据库更新公式化为诱拐。 |
|
基准数据库
|
通过视图更新数据库；使其适当复杂以便用于基准测试。包括打印执行时间。 |
|
施工工程
|
被描述为绑架的计划问题。 |
|
诊断周期性
|
被描述为诱拐的诊断问题；基于周期性故障的假设。 |
|
诊断一致
|
被描述为诱拐的诊断问题；基于一致性故障的假设。显示了一个原理称为correct-results-producted-in-correct-way假设。 |
|
枪击LuckyLuke
|
作为诱因的自然语言话语分析简化代词解析使用假设。 |
|
射击LuckyLukeAdvanced
|
上面的一个更详细的版本，它集成了更高级代词解析的语义/语用分析启发式。 |
|
超级打印机
|
方法实现的打印作业调度仿真假设。包含计时谓词，以便用于比较假设的其他实现。 |
|
砍
|
把哲学家的问题当作诱拐。 |
|
建筑物15
|
另一个计划问题是绑架。 |
|
猫
|
一个简单但很有说明性的例子将自然语言话语分析视为诱因。 |
|
图5
|
被表述为诱拐的路径问题；演示HYPROLOG如何与外部约束解算器clpq公司. |