Parallelizing goal matching

Help!
1

Hello,

Is it possible to parallelize the backtracking over several goals with one deterministic answer only, to have each tested in a different thread – in the hope of a speedup of the test.

Only one would succeed

For example:

g(X, case1) :-
test1(X), !.

g(X, case2)
test2(X), !.

g(X, casen) :-
testn(X), !.

thank you,

Dan

2

Maybe this http://www.swi-prolog.org/pldoc/doc_for?object=thread%3Afirst_solution/3

3

Thank you.

This could work – I guess, I would need to create distinct goals for each case …

Dan