parallel_findfirst/3
This commit is contained in:
parent
430147f310
commit
78fb13e651
@ -14,6 +14,7 @@
|
|||||||
:- meta_predicate
|
:- meta_predicate
|
||||||
parallel(0),
|
parallel(0),
|
||||||
parallel_findall(?,0,?),
|
parallel_findall(?,0,?),
|
||||||
|
parallel_findfirst(?,0,?),
|
||||||
parallel_once(0).
|
parallel_once(0).
|
||||||
|
|
||||||
|
|
||||||
@ -150,6 +151,13 @@ parallel_findall(Template,Goal,Answers) :-
|
|||||||
'$parallel_findall_recorded'(Refs,Answers).
|
'$parallel_findall_recorded'(Refs,Answers).
|
||||||
|
|
||||||
|
|
||||||
|
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
||||||
|
%% parallel_findfirst/3 %%
|
||||||
|
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
||||||
|
|
||||||
|
parallel_findfirst(Template,Goal,Answer) :-
|
||||||
|
parallel_findall(Template,(Goal,!),Answer).
|
||||||
|
|
||||||
|
|
||||||
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
||||||
%% parallel_once/1 %%
|
%% parallel_once/1 %%
|
||||||
|
Reference in New Issue
Block a user