0
1
2
3
retract_backtracking(ok).