rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

findall/4 should be declared as a meta-predicate (#873)

Browse Source
This commit is contained in:
Mark Thom
2021-03-17 18:13:06 -06:00
parent 5c2059b4e8
commit b98e8c34eb
1 changed files with 7 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
src/lib/builtins.pl
View File

@@ -694,16 +694,18 @@ findall(Template, Goal, Solutions) :-
'$get_lh_from_offset_diff'(LhOffset, Solutions0, Solutions1). '$get_lh_from_offset_diff'(LhOffset, Solutions0, Solutions1).
% :- meta_predicate findall(?, 0, ?, ?). :- meta_predicate findall(?, 0, ?, ?).
findall(Template, Goal, Solutions0, Solutions1) :- findall(Template, Goal, Solutions0, Solutions1) :-
error:can_be(list, Solutions0), error:can_be(list, Solutions0),
error:can_be(list, Solutions1), error:can_be(list, Solutions1),
'$lh_length'(LhLength), '$lh_length'(LhLength),
'$call_with_default_policy'(catch(builtins:'$iterate_find_all_diff'(Template, Goal, Solutions0, '$call_with_default_policy'(
Solutions1, LhLength), catch(builtins:'$iterate_find_all_diff'(Template, Goal, Solutions0,
Error, Solutions1, LhLength),
( builtins:truncate_lh_to(LhLength), builtins:throw(Error) ))). Error,
( builtins:truncate_lh_to(LhLength), builtins:throw(Error) ))
).
set_difference([X|Xs], [Y|Ys], Zs) :- set_difference([X|Xs], [Y|Ys], Zs) :-
X == Y, !, set_difference(Xs, [Y|Ys], Zs). X == Y, !, set_difference(Xs, [Y|Ys], Zs).