约束逻辑程序设计系统的变量事件机制研究

摘要

约束推理机是约束逻辑程序设计的核心部分,它包含有变量组、临时容器、约束过滤器和推理引擎,与分支策略、探索策略和节点回溯策略相配合,共同完成推理的任务.本文引入变量事件,以减少约束过滤器的触发次数,并且仔细分析了变量事件作用于约束推理机的触发几率.变量事件可以分为三种:SINGLE、BOUND和DOMCHG.对照某变量的事件,约束过滤器也可以对该变量分为三种类型:SINGLE、BOUND和DOMCHG型.文章从实验上验证了建立变量事件可以提高约束推理机的效率.