Backtracking Schemes

Backtracking patterns which do not need inter-processor communication can take advantage of backtracking families

• Backtracking private to a parallel goal
• Backtracking over a parallel conjunction

Backtracking patterns which do not redo executions across processors do not need general backtracking

• Failure of a parallel conjunction

Backtracking patterns which redo executions across processors need general backtracking:

• Backtracking from outside a parallel conjunction to inside it