A Stream AND-Parallel Execution Algorithm with Backtracking