Title: Parallel speculative computation of prolog programs