add meta_predicate declaration for with_local_attributes/3

This is needed for all_distinct/1 etc.

Example:

    ?- all_distinct([X,Y,Z]).
       clpz:all_distinct([X,Y,Z])
    ;  false.
This commit is contained in:
Markus Triska
2021-02-03 23:45:06 +01:00
parent cab0e4395a
commit 24e6c31c44

View File

@@ -6047,6 +6047,8 @@ remove_attr(Var, Attr) :-
functor(Term, Attr, 1),
put_atts(Var, -Term).
:- meta_predicate with_local_attributes(?, 0, ?).
with_local_attributes(Vars, Goal, Result) :-
catch((Goal,
maplist(del_all_attrs, Vars),