From: Markus Triska Date: Sat, 2 Aug 2025 08:08:27 +0000 (+0200) Subject: ISO: remove nonstandard operator meta_predicate. X-Git-Tag: v0.10.0~32^2 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=a8da2b6a990c4bdfa8c02217931447ae2a7295c2;p=scryer-prolog.git ISO: remove nonstandard operator meta_predicate. Use functional notation instead for declarations. This addresses #2822. --- diff --git a/src/lib/assoc.pl b/src/lib/assoc.pl index 14adf209..b4efcdb8 100644 --- a/src/lib/assoc.pl +++ b/src/lib/assoc.pl @@ -62,8 +62,8 @@ Assocs are Key-Value associations implemented as a balanced binary tree Authors: R.A.O'Keefe, L.Damas, V.S.Costa and Jan Wielemaker */ -:- meta_predicate map_assoc(1, ?). -:- meta_predicate map_assoc(2, ?, ?). +:- meta_predicate(map_assoc(1, ?)). +:- meta_predicate(map_assoc(2, ?, ?)). %% empty_assoc(?Assoc) is semidet. % diff --git a/src/lib/builtins.pl b/src/lib/builtins.pl index 3100f7f9..76a53420 100644 --- a/src/lib/builtins.pl +++ b/src/lib/builtins.pl @@ -113,7 +113,7 @@ call(_, _, _, _, _, _, _, _). call(_, _, _, _, _, _, _, _, _). -:- meta_predicate catch(0, ?, 0). +:- meta_predicate(catch(0, ?, 0)). % flags. @@ -248,7 +248,7 @@ flag_domain_error(Flag, Value) :- fail :- '$fail'. -:- meta_predicate \+(0). +:- meta_predicate(\+(0)). %% \+(Goal) % @@ -263,7 +263,7 @@ X \= X :- !, '$fail'. _ \= _. -:- meta_predicate once(0). +:- meta_predicate(once(0)). %% once(Goal) % @@ -278,11 +278,11 @@ repeat. repeat :- repeat. -:- meta_predicate ','(0,0). +:- meta_predicate(','(0,0)). -:- meta_predicate ;(0,0). +:- meta_predicate(;(0,0)). -:- meta_predicate ->(0,0). +:- meta_predicate(->(0,0)). %% ->(G1, G2) % @@ -553,7 +553,7 @@ get_args([Arg|Args], Func, I0, N) :- get_args(Args, Func, I1, N). -:- meta_predicate parse_options_list(?, 2, ?, ?, ?). +:- meta_predicate(parse_options_list(?, 2, ?, ?, ?)). parse_options_list(Options, Selector, DefaultPairs, OptionValues, Stub) :- '$skip_max_list'(_, _, Options, Tail), @@ -816,7 +816,7 @@ catch(G,C,R) :- '$get_current_block'(Bb), catch(G,C,R,Bb). -:- meta_predicate catch(0, ?, 0, ?). +:- meta_predicate(catch(0, ?, 0, ?)). :- non_counted_backtracking catch/4. @@ -884,7 +884,7 @@ throw(Ball) :- truncate_lh_to(LhLength) :- '$truncate_lh_to'(LhLength). -:- meta_predicate findall(?, 0, ?). +:- meta_predicate(findall(?, 0, ?)). :- non_counted_backtracking findall_cleanup/2. @@ -927,7 +927,7 @@ findall(Template, Goal, Solutions) :- '$get_lh_from_offset_diff'(LhOffset, Solutions0, Solutions1). -:- meta_predicate findall(?, 0, ?, ?). +:- meta_predicate(findall(?, 0, ?, ?)). :- non_counted_backtracking findall/4. @@ -1045,7 +1045,7 @@ findall_with_existential(Template, Goal, PairedSolutions, Witnesses0, Witnesses) ). -:- meta_predicate bagof(?, 0, ?). +:- meta_predicate(bagof(?, 0, ?)). :- non_counted_backtracking bagof/3. @@ -1091,7 +1091,7 @@ iterate_variants_and_sort([_|GroupSolutions], Ws, Solution) :- iterate_variants_and_sort(GroupSolutions, Ws, Solution). -:- meta_predicate setof(?, 0, ?). +:- meta_predicate(setof(?, 0, ?)). :- non_counted_backtracking setof/3. @@ -1168,7 +1168,7 @@ clause(H, B) :- ). -:- meta_predicate asserta(:). +:- meta_predicate(asserta(:)). %% asserta(Clause). % @@ -1184,7 +1184,7 @@ asserta_(Module, (Head :- Body)) :- asserta_(Module, Fact) :- '$asserta'(Module, Fact, true). -:- meta_predicate assertz(:). +:- meta_predicate(assertz(:)). %% assertz(Clause). % @@ -1201,7 +1201,7 @@ assertz_(Module, Fact) :- '$assertz'(Module, Fact, true). -:- meta_predicate retract(:). +:- meta_predicate(retract(:)). %% retract(Clause) % @@ -1278,7 +1278,7 @@ retract_module_clause(Head, Body, Module) :- ; throw(error(type_error(callable, Head), retract/1)) ). -:- meta_predicate retractall(:). +:- meta_predicate(retractall(:)). %% retractall(Head) % @@ -1318,7 +1318,7 @@ module_abolish(Pred, Module) :- ; throw(error(type_error(predicate_indicator, Module:Pred), abolish/1)) ). -:- meta_predicate abolish(:). +:- meta_predicate(abolish(:)). %% abolish(Pred). % diff --git a/src/lib/clpz.pl b/src/lib/clpz.pl index 89019b4f..35b16aa8 100644 --- a/src/lib/clpz.pl +++ b/src/lib/clpz.pl @@ -6173,7 +6173,7 @@ difference_arcs([V|Vs], FL0) --> writeln(T) :- write(T), nl. -:- meta_predicate must_succeed(0). +:- meta_predicate(must_succeed(0)). must_succeed(G) :- ( G -> true @@ -6297,7 +6297,7 @@ put_free(F) :- put_attr(F, free, true). free_node(F) :- get_attr(F, free, true). -:- meta_predicate with_local_attributes(?, 0, ?). +:- meta_predicate(with_local_attributes(?, 0, ?)). :- dynamic(nat_copy/1). diff --git a/src/lib/cont.pl b/src/lib/cont.pl index a5125d96..10678c3b 100644 --- a/src/lib/cont.pl +++ b/src/lib/cont.pl @@ -1,6 +1,6 @@ :- module(cont, [reset/3, shift/1]). -:- meta_predicate reset(0, ?, ?). +:- meta_predicate(reset(0, ?, ?)). reset(Goal, Ball, Cont) :- call(Goal), diff --git a/src/lib/dcgs.pl b/src/lib/dcgs.pl index 835e80a5..f5dfcc41 100644 --- a/src/lib/dcgs.pl +++ b/src/lib/dcgs.pl @@ -25,9 +25,9 @@ to learn more about them. :- use_module(library(lists), [append/3, member/2]). :- use_module(library(loader), [strip_module/3]). -:- meta_predicate phrase(2, ?). +:- meta_predicate(phrase(2, ?)). -:- meta_predicate phrase(2, ?, ?). +:- meta_predicate(phrase(2, ?, ?)). :- meta_predicate(phrase(3, ?, ?, ?)). diff --git a/src/lib/debug.pl b/src/lib/debug.pl index 702947fa..812bd44a 100644 --- a/src/lib/debug.pl +++ b/src/lib/debug.pl @@ -29,9 +29,9 @@ :- use_module(library(format), [portray_clause/1]). -:- meta_predicate *(0). -:- meta_predicate $(0). -:- meta_predicate $-(0). +:- meta_predicate(*(0)). +:- meta_predicate($(0)). +:- meta_predicate($-(0)). %% $-(Goal) % diff --git a/src/lib/error.pl b/src/lib/error.pl index 67df8a32..aebc91ed 100644 --- a/src/lib/error.pl +++ b/src/lib/error.pl @@ -12,7 +12,7 @@ ]). -:- meta_predicate check_(1, ?, ?). +:- meta_predicate(check_(1, ?, ?)). %% must_be(Type, Term) diff --git a/src/lib/freeze.pl b/src/lib/freeze.pl index 218a2532..07ce7cca 100644 --- a/src/lib/freeze.pl +++ b/src/lib/freeze.pl @@ -6,7 +6,7 @@ :- use_module(library(atts)). :- use_module(library(dcgs)). -:- meta_predicate freeze(-, 0). +:- meta_predicate(freeze(-, 0)). :- attribute frozen/1. diff --git a/src/lib/http/http_server.pl b/src/lib/http/http_server.pl index 598da3d6..242e0241 100644 --- a/src/lib/http/http_server.pl +++ b/src/lib/http/http_server.pl @@ -65,10 +65,10 @@ Some things that are still missing: http_basic_auth/4 ]). -:- meta_predicate http_listen(?, :). -:- meta_predicate http_listen(?, :, ?). +:- meta_predicate(http_listen(?, :)). +:- meta_predicate(http_listen(?, :, ?)). -:- meta_predicate http_basic_auth(:, :, ?, ?). +:- meta_predicate(http_basic_auth(:, :, ?, ?)). :- use_module(library(charsio)). :- use_module(library(crypto)). diff --git a/src/lib/iso_ext.pl b/src/lib/iso_ext.pl index fc36f5dd..d2992b61 100644 --- a/src/lib/iso_ext.pl +++ b/src/lib/iso_ext.pl @@ -399,7 +399,7 @@ copy_term(Term, Copy, Gs) :- ; true ). -:- meta_predicate call_residue_vars(0, ?). +:- meta_predicate(call_residue_vars(0, ?)). call_residue_vars(Goal, Vars) :- can_be(list, Vars), diff --git a/src/lib/lambda.pl b/src/lib/lambda.pl index d4aacaa5..5cb192aa 100644 --- a/src/lib/lambda.pl +++ b/src/lib/lambda.pl @@ -117,32 +117,32 @@ Further discussions @author Ulrich Neumerkel */ -:- meta_predicate ^(?,0,?). -:- meta_predicate ^(?,1,?,?). -:- meta_predicate ^(?,2,?,?,?). -:- meta_predicate ^(?,3,?,?,?,?). -:- meta_predicate ^(?,4,?,?,?,?,?). -:- meta_predicate ^(?,5,?,?,?,?,?,?). -:- meta_predicate ^(?,6,?,?,?,?,?,?,?). -:- meta_predicate ^(?,7,?,?,?,?,?,?,?,?). -:- meta_predicate \(0). -:- meta_predicate \(1,?). -:- meta_predicate \(2,?,?). -:- meta_predicate \(3,?,?,?). -:- meta_predicate \(4,?,?,?,?). -:- meta_predicate \(5,?,?,?,?,?). -:- meta_predicate \(6,?,?,?,?,?,?). -:- meta_predicate \(7,?,?,?,?,?,?,?). -:- meta_predicate +\(?,0). -:- meta_predicate +\(?,1,?). -:- meta_predicate +\(?,2,?,?). -:- meta_predicate +\(?,3,?,?,?). -:- meta_predicate +\(?,4,?,?,?,?). -:- meta_predicate +\(?,5,?,?,?,?,?). -:- meta_predicate +\(?,6,?,?,?,?,?,?). -:- meta_predicate +\(?,7,?,?,?,?,?,?,?). - -:- meta_predicate no_hat_call(0). +:- meta_predicate(^(?,0,?)). +:- meta_predicate(^(?,1,?,?)). +:- meta_predicate(^(?,2,?,?,?)). +:- meta_predicate(^(?,3,?,?,?,?)). +:- meta_predicate(^(?,4,?,?,?,?,?)). +:- meta_predicate(^(?,5,?,?,?,?,?,?)). +:- meta_predicate(^(?,6,?,?,?,?,?,?,?)). +:- meta_predicate(^(?,7,?,?,?,?,?,?,?,?)). +:- meta_predicate(\(0)). +:- meta_predicate(\(1,?)). +:- meta_predicate(\(2,?,?)). +:- meta_predicate(\(3,?,?,?)). +:- meta_predicate(\(4,?,?,?,?)). +:- meta_predicate(\(5,?,?,?,?,?)). +:- meta_predicate(\(6,?,?,?,?,?,?)). +:- meta_predicate(\(7,?,?,?,?,?,?,?)). +:- meta_predicate(+\(?,0)). +:- meta_predicate(+\(?,1,?)). +:- meta_predicate(+\(?,2,?,?)). +:- meta_predicate(+\(?,3,?,?,?)). +:- meta_predicate(+\(?,4,?,?,?,?)). +:- meta_predicate(+\(?,5,?,?,?,?,?)). +:- meta_predicate(+\(?,6,?,?,?,?,?,?)). +:- meta_predicate(+\(?,7,?,?,?,?,?,?,?)). + +:- meta_predicate(no_hat_call(0)). ^(V1,C_0,V1) :- no_hat_call(C_0). diff --git a/src/lib/lists.pl b/src/lib/lists.pl index 3d1cc6a2..c9761249 100644 --- a/src/lib/lists.pl +++ b/src/lib/lists.pl @@ -42,17 +42,17 @@ List manipulation predicates :- use_module(library(error)). -:- meta_predicate maplist(1, ?). -:- meta_predicate maplist(2, ?, ?). -:- meta_predicate maplist(3, ?, ?, ?). -:- meta_predicate maplist(4, ?, ?, ?, ?). -:- meta_predicate maplist(5, ?, ?, ?, ?, ?). -:- meta_predicate maplist(6, ?, ?, ?, ?, ?, ?). -:- meta_predicate maplist(7, ?, ?, ?, ?, ?, ?, ?). -:- meta_predicate maplist(8, ?, ?, ?, ?, ?, ?, ?, ?). - -:- meta_predicate foldl(3, ?, ?, ?). -:- meta_predicate foldl(4, ?, ?, ?, ?). +:- meta_predicate(maplist(1, ?)). +:- meta_predicate(maplist(2, ?, ?)). +:- meta_predicate(maplist(3, ?, ?, ?)). +:- meta_predicate(maplist(4, ?, ?, ?, ?)). +:- meta_predicate(maplist(5, ?, ?, ?, ?, ?)). +:- meta_predicate(maplist(6, ?, ?, ?, ?, ?, ?)). +:- meta_predicate(maplist(7, ?, ?, ?, ?, ?, ?, ?)). +:- meta_predicate(maplist(8, ?, ?, ?, ?, ?, ?, ?, ?)). + +:- meta_predicate(foldl(3, ?, ?, ?)). +:- meta_predicate(foldl(4, ?, ?, ?, ?)). :- use_module(library(error)). diff --git a/src/lib/ops_and_meta_predicates.pl b/src/lib/ops_and_meta_predicates.pl index 8ffdfb03..1588f377 100644 --- a/src/lib/ops_and_meta_predicates.pl +++ b/src/lib/ops_and_meta_predicates.pl @@ -3,8 +3,6 @@ % module resolution operator. :- op(600, xfy, :). -:- op(1199, fx, meta_predicate). - % Implementation specific declarative operator used to implement % call_with_inference_limit/3 and setup_call_cleanup/3. Compiler switches % to the default trust_me, retry_me_else and some other instructions for all @@ -66,70 +64,70 @@ :- op(1200, xfx, -->). % meta_predicate declarations for call/{1, 66}. -:- meta_predicate call(0). -:- meta_predicate call(1, ?). -:- meta_predicate call(2, ?, ?). -:- meta_predicate call(3, ?, ?, ?). -:- meta_predicate call(4, ?, ?, ?, ?). -:- meta_predicate call(5, ?, ?, ?, ?, ?). -:- meta_predicate call(6, ?, ?, ?, ?, ?, ?). -:- meta_predicate call(7, ?, ?, ?, ?, ?, ?, ?). -:- meta_predicate call(8, ?, ?, ?, ?, ?, ?, ?, ?). -:- meta_predicate call(9, ?, ?, ?, ?, ?, ?, ?, ?, ?). -:- meta_predicate call(10, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?). -:- meta_predicate call(11, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?). -:- meta_predicate call(12, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?). -:- meta_predicate call(13, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?). -:- meta_predicate call(14, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?). -:- meta_predicate call(15, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?). -:- meta_predicate call(16, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?). -:- meta_predicate call(17, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?). -:- meta_predicate call(18, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?). -:- meta_predicate call(19, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?). -:- meta_predicate call(20, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?). -:- meta_predicate call(21, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?). -:- meta_predicate call(22, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?). -:- meta_predicate call(23, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?). -:- meta_predicate call(24, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?). -:- meta_predicate call(25, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?). -:- meta_predicate call(26, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?). -:- meta_predicate call(27, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?). -:- meta_predicate call(28, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?). -:- meta_predicate call(29, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?). -:- meta_predicate call(30, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?). -:- meta_predicate call(31, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?). -:- meta_predicate call(32, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?). -:- meta_predicate call(33, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?). -:- meta_predicate call(34, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?). -:- meta_predicate call(35, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?). -:- meta_predicate call(36, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?). -:- meta_predicate call(37, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?). -:- meta_predicate call(38, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?). -:- meta_predicate call(39, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?). -:- meta_predicate call(40, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?). -:- meta_predicate call(41, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?). -:- meta_predicate call(42, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?). -:- meta_predicate call(43, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?). -:- meta_predicate call(44, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?). -:- meta_predicate call(45, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?). -:- meta_predicate call(46, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?). -:- meta_predicate call(47, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?). -:- meta_predicate call(48, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?). -:- meta_predicate call(49, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?). -:- meta_predicate call(50, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?). -:- meta_predicate call(51, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?). -:- meta_predicate call(52, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?). -:- meta_predicate call(53, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?). -:- meta_predicate call(54, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?). -:- meta_predicate call(55, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?). -:- meta_predicate call(56, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?). -:- meta_predicate call(57, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?). -:- meta_predicate call(58, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?). -:- meta_predicate call(59, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?). -:- meta_predicate call(60, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?). -:- meta_predicate call(60, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?). -:- meta_predicate call(61, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?). -:- meta_predicate call(62, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?). -:- meta_predicate call(63, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?). -:- meta_predicate call(64, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?). -:- meta_predicate call(65, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?). +:- meta_predicate(call(0)). +:- meta_predicate(call(1, ?)). +:- meta_predicate(call(2, ?, ?)). +:- meta_predicate(call(3, ?, ?, ?)). +:- meta_predicate(call(4, ?, ?, ?, ?)). +:- meta_predicate(call(5, ?, ?, ?, ?, ?)). +:- meta_predicate(call(6, ?, ?, ?, ?, ?, ?)). +:- meta_predicate(call(7, ?, ?, ?, ?, ?, ?, ?)). +:- meta_predicate(call(8, ?, ?, ?, ?, ?, ?, ?, ?)). +:- meta_predicate(call(9, ?, ?, ?, ?, ?, ?, ?, ?, ?)). +:- meta_predicate(call(10, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)). +:- meta_predicate(call(11, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)). +:- meta_predicate(call(12, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)). +:- meta_predicate(call(13, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)). +:- meta_predicate(call(14, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)). +:- meta_predicate(call(15, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)). +:- meta_predicate(call(16, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)). +:- meta_predicate(call(17, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)). +:- meta_predicate(call(18, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)). +:- meta_predicate(call(19, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)). +:- meta_predicate(call(20, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)). +:- meta_predicate(call(21, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)). +:- meta_predicate(call(22, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)). +:- meta_predicate(call(23, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)). +:- meta_predicate(call(24, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)). +:- meta_predicate(call(25, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)). +:- meta_predicate(call(26, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)). +:- meta_predicate(call(27, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)). +:- meta_predicate(call(28, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)). +:- meta_predicate(call(29, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)). +:- meta_predicate(call(30, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)). +:- meta_predicate(call(31, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)). +:- meta_predicate(call(32, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)). +:- meta_predicate(call(33, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)). +:- meta_predicate(call(34, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)). +:- meta_predicate(call(35, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)). +:- meta_predicate(call(36, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)). +:- meta_predicate(call(37, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)). +:- meta_predicate(call(38, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)). +:- meta_predicate(call(39, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)). +:- meta_predicate(call(40, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)). +:- meta_predicate(call(41, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)). +:- meta_predicate(call(42, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)). +:- meta_predicate(call(43, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)). +:- meta_predicate(call(44, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)). +:- meta_predicate(call(45, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)). +:- meta_predicate(call(46, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)). +:- meta_predicate(call(47, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)). +:- meta_predicate(call(48, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)). +:- meta_predicate(call(49, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)). +:- meta_predicate(call(50, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)). +:- meta_predicate(call(51, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)). +:- meta_predicate(call(52, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)). +:- meta_predicate(call(53, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)). +:- meta_predicate(call(54, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)). +:- meta_predicate(call(55, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)). +:- meta_predicate(call(56, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)). +:- meta_predicate(call(57, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)). +:- meta_predicate(call(58, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)). +:- meta_predicate(call(59, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)). +:- meta_predicate(call(60, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)). +:- meta_predicate(call(60, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)). +:- meta_predicate(call(61, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)). +:- meta_predicate(call(62, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)). +:- meta_predicate(call(63, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)). +:- meta_predicate(call(64, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)). +:- meta_predicate(call(65, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)). diff --git a/src/lib/pairs.pl b/src/lib/pairs.pl index 17216b49..dea0d5b7 100644 --- a/src/lib/pairs.pl +++ b/src/lib/pairs.pl @@ -12,7 +12,7 @@ map_list_to_pairs/3]). -:- meta_predicate map_list_to_pairs(2, ?, ?). +:- meta_predicate(map_list_to_pairs(2, ?, ?)). %% pairs_keys_values(?Pairs, ?Keys, ?Values) % diff --git a/src/lib/tabling.pl b/src/lib/tabling.pl index 8ae3f312..e13af6ad 100644 --- a/src/lib/tabling.pl +++ b/src/lib/tabling.pl @@ -93,7 +93,7 @@ table_and_status_for_variant(V,T,S) :- tbd_table_status(T,S). -:- meta_predicate start_tabling(?, :). +:- meta_predicate(start_tabling(?, :)). start_tabling(Wrapper,Worker) :- put_new_trie_table_link, diff --git a/src/lib/time.pl b/src/lib/time.pl index 4ec55e03..66c0c177 100644 --- a/src/lib/time.pl +++ b/src/lib/time.pl @@ -108,7 +108,7 @@ statistics(runtime, [T,unsupported]) :- '$cpu_now'(T0), T is T0*1000. -:- meta_predicate time(0). +:- meta_predicate(time(0)). :- dynamic(time_id/1). :- dynamic(time_state/3). diff --git a/src/loader.pl b/src/loader.pl index f2d77009..5b07b419 100644 --- a/src/loader.pl +++ b/src/loader.pl @@ -105,7 +105,7 @@ run_initialization_goals(Module) :- ; true ). -:- meta_predicate success_or_warning(0). +:- meta_predicate(success_or_warning(0)). success_or_warning(Goal) :- ( call(Goal) -> @@ -403,7 +403,7 @@ predicate_indicator_sequence(PI_Seq) :- ) ). -:- meta_predicate add_predicate_declaration(3, ?). +:- meta_predicate(add_predicate_declaration(3, ?)). add_predicate_declaration(Handler, Name/Arity) :- predicate_indicator(Name/Arity), diff --git a/src/machine/preprocessor.rs b/src/machine/preprocessor.rs index 3a043402..dc1ede62 100644 --- a/src/machine/preprocessor.rs +++ b/src/machine/preprocessor.rs @@ -213,7 +213,7 @@ fn setup_qualified_import(mut terms: Vec) -> Result