next up previous contents
Next: Do Not Do Up: Modifying the Search Previous: Fail Goal Now

Changing the Program

The use of cut ( !/0) changes the search space while the program is running. We now introduce a family of predicates that can be used to change the search space during program execution. We do this with the strongest request:




Paul Brna
Mon May 24 20:14:48 BST 1999