enable meta_predicate/1 declarations

This commit is contained in:
Markus Triska
2021-02-18 20:19:23 +01:00
parent 5bec2c87cb
commit b3db8913c6

View File

@@ -63,11 +63,8 @@ Assocs are Key-Value associations implemented as a balanced binary tree
@author R.A.O'Keefe, L.Damas, V.S.Costa and Jan Wielemaker @author R.A.O'Keefe, L.Damas, V.S.Costa and Jan Wielemaker
*/ */
/* :- meta_predicate map_assoc(1, ?).
:- meta_predicate :- meta_predicate map_assoc(2, ?, ?).
map_assoc(1, ?),
map_assoc(2, ?, ?).
*/
%! empty_assoc(?Assoc) is semidet. %! empty_assoc(?Assoc) is semidet.
% %