• Controlling Backtracking
• Example 1
• Some rules
• Example 2
• In general ...
• Lists and Cuts
• Order of clauses
• Exchanging NOT with CUT
• About this document ...

Back to the Prolog Page