Research on Mechanism of Variable Event in CLP System

Jing Wan, Likang Tian, Junkai Yi, Yubin Zhou
2013 Research Journal of Applied Sciences Engineering and Technology  
Constraint inference engine as the core part of constraint logic programming system comprises variable set, temporary container and constraint filter and inference engine and adopts branching strategy, exploration strategy and node backtracking strategy to complete the inference task. This study introduces variable event to reduce the triggering times of constraint filter and analyzes the trigger probability of inference engine. The experiments show that variable event setting can enhance the efficiency of constraint inference engine.
doi:10.19026/rjaset.5.4930 fatcat:mn4biuncunchnnnpjofmesxely