Intelligent Control Using Integrity Constraints

This paper describes how integrity con-straints, whether user supplied or automatically generated during the search, and analysis of failures can be used to improve the execution of function free logic programs. Integrity con-straints are used to guide both the forward and backward execution of the Programs. This work applies to arbitrary node and literal selection functions and is thus transparent to the fact whether the logic program is executed Sequentially or in parallel.

Authors

• Madhur Kohli Jack Minker

Keywords

No keywords are indexed for this paper.