:- use_module(library(lists)).
:- use_module(library(pairs)).
-
write_error(Error) :-
% '$fetch_global_var' is the core system call of bb_get/2, but
% bb_get may not exist when write_error is first called, so fall
expand_term(Term, ExpandedTerm) :-
( '$predicate_defined'(user, term_expansion, 2),
- catch('$call'(user:term_expansion(Term, ExpandedTerm0)),
+ catch(user:term_expansion(Term, ExpandedTerm0),
E,
- '$call'(loader:'$print_message_and_fail'(E))) ->
+ loader:'$print_message_and_fail'(E)) ->
( var(ExpandedTerm0) ->
error:instantiation_error(term_expansion/2)
; ExpandedTerm0 = [_|_] ->
'$predicate_defined'(Module, goal_expansion, 2),
catch('$call'(Module:goal_expansion(Goal, ExpandedGoal0)),
E,
- '$call'(loader:'$print_message_and_fail'(E))) ->
+ loader:'$print_message_and_fail'(E)) ->
( var(ExpandedGoal0) ->
error:instantiation_error(goal_expansion/2)
; goal_expansion(ExpandedGoal0, Module, ExpandedGoal)
run_initialization_goals(Module) :-
( predicate_property(Module:'$initialization_goals'(_), dynamic) ->
- % FIXME: failing here. also, see add_module.
- findall(Module:Goal, '$call'(builtins:retract(Module:'$initialization_goals'(Goal))), Goals),
+ findall(Module:Goal, builtins:retract(Module:'$initialization_goals'(Goal)), Goals),
abolish(Module:'$initialization_goals'/1),
maplist(loader:success_or_warning, Goals)
; true
).
+:- meta_predicate success_or_warning(0).
+
success_or_warning(Goal) :-
( call(Goal) ->
true
false. %% Clear the heap.
file_load(_, _).
+file_load_init(Stream, Evacuable) :-
+ load_loop(Stream, Evacuable),
+ run_initialization_goals.
+
+file_load_cleanup(Evacuable, Error) :-
+ unload_evacuable(Evacuable),
+ '$print_message_and_fail'(Error),
+ throw(Error).
+
file_load(Stream, Path, Evacuable) :-
create_file_load_context(Stream, Path, Evacuable),
% '$add_in_situ_filename_module' removes user level predicates,
% local predicate clauses, etc. from a previous load of the file
% at Path.
'$add_in_situ_filename_module'(Evacuable),
- catch((loader:load_loop(Stream, Evacuable),
- loader:run_initialization_goals),
+ catch(loader:file_load_init(Stream, Evacuable),
E,
- builtins:(loader:unload_evacuable(Evacuable),
- loader:'$print_message_and_fail'(E),
- builtins:throw(E))),
+ loader:file_load_cleanup(Evacuable, E)),
'$pop_load_context'.
load(Stream) :-
create_load_context(Stream, Evacuable),
- catch((loader:load_loop(Stream, Evacuable),
- loader:run_initialization_goals),
+ catch(loader:file_load_init(Stream, Evacuable),
E,
- builtins:(loader:unload_evacuable(Evacuable),
- loader:'$print_message_and_fail'(E),
- builtins:throw(E))),
+ loader:file_load_cleanup(Evacuable, E)),
'$pop_load_context',
false. %% Clear the heap.
load(_).
; compile_dispatch_or_clause(Terms, Evacuable)
).
+complete_partial_goal(N, HeadArg, InnerHeadArgs, SuppArgs, CompleteHeadArg) :-
+ integer(N),
+ N >= 0,
+ HeadArg =.. [Functor | InnerHeadArgs],
+ length(SuppArgs, N),
+ append(InnerHeadArgs, SuppArgs, InnerHeadArgs0),
+ CompleteHeadArg =.. [Functor | InnerHeadArgs0].
inner_meta_specs(0, HeadArg, InnerHeadArgs, InnerMetaSpecs) :-
!,
predicate_property(HeadArg, meta_predicate(InnerMetaSpecs0)),
InnerMetaSpecs0 =.. [_ | InnerMetaSpecs],
HeadArg =.. [_ | InnerHeadArgs].
-
inner_meta_specs((:), _, [], []) :-
!.
-
inner_meta_specs(N, HeadArg, InnerHeadArgs, InnerMetaSpecs) :-
- integer(N),
- N >= 0,
- HeadArg =.. [Functor | InnerHeadArgs],
- length(InnerHeadArgs1, N),
- append(InnerHeadArgs, InnerHeadArgs1, InnerHeadArgs0),
- CompleteHeadArg =.. [Functor | InnerHeadArgs0],
+ complete_partial_goal(N, HeadArg, InnerHeadArgs, _, CompleteHeadArg),
predicate_property(CompleteHeadArg, meta_predicate(InnerMetaSpecs0)),
InnerMetaSpecs0 =.. [_ | InnerMetaSpecs].
MetaSpec >= 0
) ->
( var(HeadArg) ->
- HeadVars = [HeadArg-HeadArg | HeadVars1],
+ HeadVars = [HeadArg-MetaSpec | HeadVars1],
module_expanded_head_variables_(HeadArgs, MetaSpecs, HeadVars1, HeadVars0)
; inner_meta_specs(MetaSpec, HeadArg, InnerHeadArgs, InnerMetaSpecs) ->
module_expanded_head_variables_(InnerHeadArgs, InnerMetaSpecs, HeadVars, HeadVars1),
path_atom(Path, Path) :-
must_be(atom, Path).
+
+open_file_cleanup(Path, Stream) :-
+ atom_concat(Path, '.pl', ExtendedPath),
+ open(ExtendedPath, read, Stream).
+
% Try to open the file with the Path name as given; if that fails,
% append '.pl' and try again.
open_file(Path, Stream) :-
open(Path, read, Stream)
; catch(open(Path, read, Stream),
error(existence_error(source_sink, _), _),
- ( atom_concat(Path, '.pl', ExtendedPath),
- open(ExtendedPath, read, Stream)
- )
+ loader:open_file_cleanup(Path, Stream)
)
).
strip_module(Goal, M, G) :-
'$strip_module'(Goal, M, G).
+
+:- non_counted_backtracking strip_subst_module/4.
+
+strip_subst_module(Goal, M1, M2, G) :-
+ '$strip_module'(Goal, M2, G),
+ ( var(M2) ->
+ M2 = M1
+ ; true
+ ).
+
:- non_counted_backtracking expand_subgoal/5.
-expand_subgoal(UnexpandedGoals, MS, Module, ExpandedGoals, HeadVars) :-
- ( var(UnexpandedGoals) ->
- UnexpandedGoals = ExpandedGoals
- ; ( MS == 0 ->
- % only expand complete goals. call/N will take care of incomplete goals
- % by calling goal expansion after it is supplied the remaining arguments.
- ( goal_expansion(UnexpandedGoals, Module, UnexpandedGoals1),
- ( Module \== user ->
- goal_expansion(UnexpandedGoals1, user, Goals)
- ; Goals = UnexpandedGoals1
- )
- )
- ; Goals = UnexpandedGoals
- ),
- ( inner_meta_specs(MS, Goals, _, MetaSpecs) ->
- expand_module_names(Goals, MetaSpecs, Module, ExpandedGoals, HeadVars)
- ; Goals = ExpandedGoals
+expand_subgoal(UnexpandedGoals, MS, M, ExpandedGoals, HeadVars) :-
+ strip_subst_module(UnexpandedGoals, M, Module, UnexpandedGoals0),
+ nonvar(UnexpandedGoals0),
+ complete_partial_goal(MS, UnexpandedGoals0, _, SuppArgs, UnexpandedGoals1),
+ ( goal_expansion(UnexpandedGoals1, Module, UnexpandedGoals2),
+ ( Module \== user ->
+ goal_expansion(UnexpandedGoals2, user, UnexpandedGoals3)
+ ; UnexpandedGoals3 = UnexpandedGoals2
)
- ; UnexpandedGoals = ExpandedGoals
- ).
+ ),
+ strip_subst_module(UnexpandedGoals3, Module, Module1, UnexpandedGoals4),
+ ( inner_meta_specs(0, UnexpandedGoals4, _, MetaSpecs) ->
+ expand_module_names(UnexpandedGoals4, MetaSpecs, Module1, ExpandedGoals0, HeadVars)
+ ; ExpandedGoals0 = UnexpandedGoals4
+ ),
+ '$compile_inline_or_expanded_goal'(ExpandedGoals0, SuppArgs, ExpandedGoals, Module1).
:- non_counted_backtracking expand_module_name/4.
).
+:- non_counted_backtracking eq_member/2.
+
+eq_member(V, [L-_|Ls]) :-
+ V == L.
+eq_member(V, [_|Ls]) :-
+ eq_member(V, Ls).
+
+:- non_counted_backtracking qualified_spec/1.
+
+qualified_spec((:)).
+qualified_spec(MS) :- integer(MS), MS >= 0.
+
+
:- non_counted_backtracking expand_meta_predicate_subgoals/5.
expand_meta_predicate_subgoals([SG | SGs], [MS | MSs], M, [ESG | ESGs], HeadVars) :-
- ( ( integer(MS),
- MS >= 0
- ; MS == (:)
- ) ->
- ( var(SG),
- pairs:same_key(SG, HeadVars, [_|_], _) ->
- expand_subgoal(SG, MS, M, ESG, HeadVars)
- ; expand_subgoal(SG, MS, M, ESG0, HeadVars),
- expand_module_name(ESG0, MS, M, ESG)
- ),
- expand_meta_predicate_subgoals(SGs, MSs, M, ESGs, HeadVars)
- ; ESG = SG,
- expand_meta_predicate_subgoals(SGs, MSs, M, ESGs, HeadVars)
- ).
+ ( var(SG) ->
+ ( qualified_spec(MS) ->
+ ( eq_member(SG, HeadVars) ->
+ ESG = SG
+ ; expand_module_name(SG, MS, M, ESG)
+ )
+ ; ESG = SG
+ )
+ ; MS == (:) ->
+ expand_module_name(SG, MS, M, ESG)
+ ; '$is_expanded_or_inlined'(SG) ->
+ ESG = SG
+ ; expand_subgoal(SG, MS, M, ESG, HeadVars) ->
+ true
+ ; SG = ESG
+ ),
+ expand_meta_predicate_subgoals(SGs, MSs, M, ESGs, HeadVars).
expand_meta_predicate_subgoals([], _, _, [], _).
-
:- non_counted_backtracking expand_module_names/5.
expand_module_names(Goals, MetaSpecs, Module, ExpandedGoals, HeadVars) :-
).
+
:- non_counted_backtracking expand_goal/3.
expand_goal(UnexpandedGoals, Module, ExpandedGoals) :-
% if a goal isn't callable, defer to call/N to report the error.
- catch('$call'(loader:expand_goal(UnexpandedGoals, Module, ExpandedGoals, [])),
+ catch(loader:expand_goal(UnexpandedGoals, Module, ExpandedGoals, []),
error(type_error(callable, _), _),
- '$call'(UnexpandedGoals = ExpandedGoals)),
+ UnexpandedGoals = ExpandedGoals),
!.
+
:- non_counted_backtracking expand_goal/4.
expand_goal(UnexpandedGoals, Module, ExpandedGoals, HeadVars) :-
)
).
+
:- non_counted_backtracking expand_goal_cases/4.
expand_goal_cases((Goal0, Goals0), Module, ExpandedGoals, HeadVars) :-
; Goals1 = Goals0
).
+
:- non_counted_backtracking thread_goals/4.
thread_goals(Goals0, Goals1, Hole, Functor) :-
% The program used to generate the call/N predicates:
%
%
-%
% :- use_module(library(between)).
% :- use_module(library(error)).
% :- use_module(library(lists)).
% :- use_module(library(format)).
%
-% n_call_clause(N, Clause) :-
+% n_call_clause(N, Clauses) :-
% length(Args, N),
% Head =.. [call, G | Args],
+% CallNHead =.. [call, '$call'(G) | Args],
% N1 is N + 1,
-% CallClause0 =.. ['$prepare_call_clause', G1, M, G0 | Args],
-% CallClause =.. ['$prepare_call_clause', G1, M, G | Args],
-% Clause = (Head :- ( var(G) ->
-% instantiation_error(call/N1)
-% ; G = '$call'(G0) ->
-% CallClause0,
-% '$call_with_inference_counting'('$call'(M:G1))
-% ; CallClause,
-% expand_goal(call(M:G1), M, call(G2)),
-% '$call_with_inference_counting'('$call'(G2))
-% )
-% ).
+% InlineCall =.. ['$call_inline', G | Args],
+% CallClause =.. ['$prepare_call_clause', G1, M1, G | Args],
+% ModuleCallClause0 =.. ['$module_call', M1, G1],
+% ModuleCallClause1 =.. ['$module_call', M2, G3],
+% Clauses = [(Head :- var(G),
+% instantiation_error(call/N1)),
+% (Head :- InlineCall),
+% (CallNHead :- !,
+% CallClause,
+% '$call_with_inference_counting'(ModuleCallClause0)),
+% (Head :- CallClause,
+% expand_goal(call(G1), M1, call(G2)),
+% strip_subst_module(G2, M1, M2, G3),
+% '$call_with_inference_counting'(ModuleCallClause1))].
%
% generate_call_forms :-
% between(1, 64, N),
-% n_call_clause(N, Clause),
+% n_call_clause(N, Clauses),
% N1 is N+1,
% portray_clause((:- non_counted_backtracking call/N1)),
-% portray_clause(Clause),
+% maplist(portray_clause, Clauses),
% nl,
% false.
+%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% The '$call' functor is an escape hatch from goal expansion. So far,
% it is used only to avoid infinite recursion into expand_goal/3.
-:- non_counted_backtracking call/1.
+:-non_counted_backtracking call/1.
+call(G) :-
+ var(G),
+ instantiation_error(call/1).
call(G) :-
- ( var(G) ->
- instantiation_error(call/1)
- ; G = '$call'(G0) ->
- '$prepare_call_clause'(G1, M, G0),
- '$call_with_inference_counting'('$call'(M:G1))
- ; '$prepare_call_clause'(G1, M, G),
- expand_goal(call(M:G1), M, call(G2)),
- '$call_with_inference_counting'('$call'(G2))
- ).
+ '$call_inline'(G). %% '$call_inline' cuts (only) after succeeding.
+call('$call'(G0)) :-
+ !,
+ '$prepare_call_clause'(G,M,G0),
+ '$call_with_inference_counting'('$module_call'(M, G)).
+call(G) :-
+ '$prepare_call_clause'(G0,M1,G),
+ expand_goal(call(G0), M1, call(G1)),
+ strip_subst_module(G1, M1, M2, G2),
+ '$call_with_inference_counting'('$module_call'(M2, G2)).
:-non_counted_backtracking call/2.
call(A,B) :-
- ( var(A) ->
- instantiation_error(call/2)
- ; A= '$call'(C) ->
- '$prepare_call_clause'(D,E,C,B),
- '$call_with_inference_counting'('$call'(E:D))
- ; '$prepare_call_clause'(D,E,A,B),
- expand_goal(call(E:D),E,call(F)),
- '$call_with_inference_counting'('$call'(F))
- ).
+ var(A),
+ instantiation_error(call/2).
+call(A,B) :-
+ '$call_inline'(A,B).
+call('$call'(A),B) :-
+ !,
+ '$prepare_call_clause'(C,D,A,B),
+ '$call_with_inference_counting'('$module_call'(D,C)).
+call(A,B) :-
+ '$prepare_call_clause'(C,D,A,B),
+ expand_goal(call(C),D,call(E)),
+ strip_subst_module(E,D,F,G),
+ '$call_with_inference_counting'('$module_call'(F,G)).
:-non_counted_backtracking call/3.
call(A,B,C) :-
- ( var(A) ->
- instantiation_error(call/3)
- ; A= '$call'(D) ->
- '$prepare_call_clause'(E,F,D,B,C),
- '$call_with_inference_counting'('$call'(F:E))
- ; '$prepare_call_clause'(E,F,A,B,C),
- expand_goal(call(F:E),F,call(G)),
- '$call_with_inference_counting'('$call'(G))
- ).
+ var(A),
+ instantiation_error(call/3).
+call(A,B,C) :-
+ '$call_inline'(A,B,C).
+call('$call'(A),B,C) :-
+ !,
+ '$prepare_call_clause'(D,E,A,B,C),
+ '$call_with_inference_counting'('$module_call'(E,D)).
+call(A,B,C) :-
+ '$prepare_call_clause'(D,E,A,B,C),
+ expand_goal(call(D),E,call(F)),
+ strip_subst_module(F,E,G,H),
+ '$call_with_inference_counting'('$module_call'(G,H)).
:-non_counted_backtracking call/4.
call(A,B,C,D) :-
- ( var(A) ->
- instantiation_error(call/4)
- ; A= '$call'(E) ->
- '$prepare_call_clause'(F,G,E,B,C,D),
- '$call_with_inference_counting'('$call'(G:F))
- ; '$prepare_call_clause'(F,G,A,B,C,D),
- expand_goal(call(G:F),G,call(H)),
- '$call_with_inference_counting'('$call'(H))
- ).
+ var(A),
+ instantiation_error(call/4).
+call(A,B,C,D) :-
+ '$call_inline'(A,B,C,D).
+call('$call'(A),B,C,D) :-
+ !,
+ '$prepare_call_clause'(E,F,A,B,C,D),
+ '$call_with_inference_counting'('$module_call'(F,E)).
+call(A,B,C,D) :-
+ '$prepare_call_clause'(E,F,A,B,C,D),
+ expand_goal(call(E),F,call(G)),
+ strip_subst_module(G,F,H,I),
+ '$call_with_inference_counting'('$module_call'(H,I)).
:-non_counted_backtracking call/5.
call(A,B,C,D,E) :-
- ( var(A) ->
- instantiation_error(call/5)
- ; A= '$call'(F) ->
- '$prepare_call_clause'(G,H,F,B,C,D,E),
- '$call_with_inference_counting'('$call'(H:G))
- ; '$prepare_call_clause'(G,H,A,B,C,D,E),
- expand_goal(call(H:G),H,call(I)),
- '$call_with_inference_counting'('$call'(I))
- ).
+ var(A),
+ instantiation_error(call/5).
+call(A,B,C,D,E) :-
+ '$call_inline'(A,B,C,D,E).
+call('$call'(A),B,C,D,E) :-
+ !,
+ '$prepare_call_clause'(F,G,A,B,C,D,E),
+ '$call_with_inference_counting'('$module_call'(G,F)).
+call(A,B,C,D,E) :-
+ '$prepare_call_clause'(F,G,A,B,C,D,E),
+ expand_goal(call(F),G,call(H)),
+ strip_subst_module(H,G,I,J),
+ '$call_with_inference_counting'('$module_call'(I,J)).
:-non_counted_backtracking call/6.
call(A,B,C,D,E,F) :-
- ( var(A) ->
- instantiation_error(call/6)
- ; A= '$call'(G) ->
- '$prepare_call_clause'(H,I,G,B,C,D,E,F),
- '$call_with_inference_counting'('$call'(I:H))
- ; '$prepare_call_clause'(H,I,A,B,C,D,E,F),
- expand_goal(call(I:H),I,call(J)),
- '$call_with_inference_counting'('$call'(J))
- ).
+ var(A),
+ instantiation_error(call/6).
+call(A,B,C,D,E,F) :-
+ '$call_inline'(A,B,C,D,E,F).
+call('$call'(A),B,C,D,E,F) :-
+ !,
+ '$prepare_call_clause'(G,H,A,B,C,D,E,F),
+ '$call_with_inference_counting'('$module_call'(H,G)).
+call(A,B,C,D,E,F) :-
+ '$prepare_call_clause'(G,H,A,B,C,D,E,F),
+ expand_goal(call(G),H,call(I)),
+ strip_subst_module(I,H,J,K),
+ '$call_with_inference_counting'('$module_call'(J,K)).
:-non_counted_backtracking call/7.
call(A,B,C,D,E,F,G) :-
- ( var(A) ->
- instantiation_error(call/7)
- ; A= '$call'(H) ->
- '$prepare_call_clause'(I,J,H,B,C,D,E,F,G),
- '$call_with_inference_counting'('$call'(J:I))
- ; '$prepare_call_clause'(I,J,A,B,C,D,E,F,G),
- expand_goal(call(J:I),J,call(K)),
- '$call_with_inference_counting'('$call'(K))
- ).
+ var(A),
+ instantiation_error(call/7).
+call(A,B,C,D,E,F,G) :-
+ '$call_inline'(A,B,C,D,E,F,G).
+call('$call'(A),B,C,D,E,F,G) :-
+ !,
+ '$prepare_call_clause'(H,I,A,B,C,D,E,F,G),
+ '$call_with_inference_counting'('$module_call'(I,H)).
+call(A,B,C,D,E,F,G) :-
+ '$prepare_call_clause'(H,I,A,B,C,D,E,F,G),
+ expand_goal(call(H),I,call(J)),
+ strip_subst_module(J,I,K,L),
+ '$call_with_inference_counting'('$module_call'(K,L)).
:-non_counted_backtracking call/8.
call(A,B,C,D,E,F,G,H) :-
- ( var(A) ->
- instantiation_error(call/8)
- ; A= '$call'(I) ->
- '$prepare_call_clause'(J,K,I,B,C,D,E,F,G,H),
- '$call_with_inference_counting'('$call'(K:J))
- ; '$prepare_call_clause'(J,K,A,B,C,D,E,F,G,H),
- expand_goal(call(K:J),K,call(L)),
- '$call_with_inference_counting'('$call'(L))
- ).
+ var(A),
+ instantiation_error(call/8).
+call(A,B,C,D,E,F,G,H) :-
+ '$call_inline'(A,B,C,D,E,F,G,H).
+call('$call'(A),B,C,D,E,F,G,H) :-
+ !,
+ '$prepare_call_clause'(I,J,A,B,C,D,E,F,G,H),
+ '$call_with_inference_counting'('$module_call'(J,I)).
+call(A,B,C,D,E,F,G,H) :-
+ '$prepare_call_clause'(I,J,A,B,C,D,E,F,G,H),
+ expand_goal(call(I),J,call(K)),
+ strip_subst_module(K,J,L,M),
+ '$call_with_inference_counting'('$module_call'(L,M)).
:-non_counted_backtracking call/9.
call(A,B,C,D,E,F,G,H,I) :-
- ( var(A) ->
- instantiation_error(call/9)
- ; A= '$call'(J) ->
- '$prepare_call_clause'(K,L,J,B,C,D,E,F,G,H,I),
- '$call_with_inference_counting'('$call'(L:K))
- ; '$prepare_call_clause'(K,L,A,B,C,D,E,F,G,H,I),
- expand_goal(call(L:K),L,call(M)),
- '$call_with_inference_counting'('$call'(M))
- ).
+ var(A),
+ instantiation_error(call/9).
+call(A,B,C,D,E,F,G,H,I) :-
+ '$call_inline'(A,B,C,D,E,F,G,H,I).
+call('$call'(A),B,C,D,E,F,G,H,I) :-
+ !,
+ '$prepare_call_clause'(J,K,A,B,C,D,E,F,G,H,I),
+ '$call_with_inference_counting'('$module_call'(K,J)).
+call(A,B,C,D,E,F,G,H,I) :-
+ '$prepare_call_clause'(J,K,A,B,C,D,E,F,G,H,I),
+ expand_goal(call(J),K,call(L)),
+ strip_subst_module(L,K,M,N),
+ '$call_with_inference_counting'('$module_call'(M,N)).
:-non_counted_backtracking call/10.
call(A,B,C,D,E,F,G,H,I,J) :-
- ( var(A) ->
- instantiation_error(call/10)
- ; A= '$call'(K) ->
- '$prepare_call_clause'(L,M,K,B,C,D,E,F,G,H,I,J),
- '$call_with_inference_counting'('$call'(M:L))
- ; '$prepare_call_clause'(L,M,A,B,C,D,E,F,G,H,I,J),
- expand_goal(call(M:L),M,call(N)),
- '$call_with_inference_counting'('$call'(N))
- ).
+ var(A),
+ instantiation_error(call/10).
+call(A,B,C,D,E,F,G,H,I,J) :-
+ '$call_inline'(A,B,C,D,E,F,G,H,I,J).
+call('$call'(A),B,C,D,E,F,G,H,I,J) :-
+ !,
+ '$prepare_call_clause'(K,L,A,B,C,D,E,F,G,H,I,J),
+ '$call_with_inference_counting'('$module_call'(L,K)).
+call(A,B,C,D,E,F,G,H,I,J) :-
+ '$prepare_call_clause'(K,L,A,B,C,D,E,F,G,H,I,J),
+ expand_goal(call(K),L,call(M)),
+ strip_subst_module(M,L,N,O),
+ '$call_with_inference_counting'('$module_call'(N,O)).
:-non_counted_backtracking call/11.
call(A,B,C,D,E,F,G,H,I,J,K) :-
- ( var(A) ->
- instantiation_error(call/11)
- ; A= '$call'(L) ->
- '$prepare_call_clause'(M,N,L,B,C,D,E,F,G,H,I,J,K),
- '$call_with_inference_counting'('$call'(N:M))
- ; '$prepare_call_clause'(M,N,A,B,C,D,E,F,G,H,I,J,K),
- expand_goal(call(N:M),N,call(O)),
- '$call_with_inference_counting'('$call'(O))
- ).
+ var(A),
+ instantiation_error(call/11).
+call(A,B,C,D,E,F,G,H,I,J,K) :-
+ '$call_inline'(A,B,C,D,E,F,G,H,I,J,K).
+call('$call'(A),B,C,D,E,F,G,H,I,J,K) :-
+ !,
+ '$prepare_call_clause'(L,M,A,B,C,D,E,F,G,H,I,J,K),
+ '$call_with_inference_counting'('$module_call'(M,L)).
+call(A,B,C,D,E,F,G,H,I,J,K) :-
+ '$prepare_call_clause'(L,M,A,B,C,D,E,F,G,H,I,J,K),
+ expand_goal(call(L),M,call(N)),
+ strip_subst_module(N,M,O,P),
+ '$call_with_inference_counting'('$module_call'(O,P)).
:-non_counted_backtracking call/12.
call(A,B,C,D,E,F,G,H,I,J,K,L) :-
- ( var(A) ->
- instantiation_error(call/12)
- ; A= '$call'(M) ->
- '$prepare_call_clause'(N,O,M,B,C,D,E,F,G,H,I,J,K,L),
- '$call_with_inference_counting'('$call'(O:N))
- ; '$prepare_call_clause'(N,O,A,B,C,D,E,F,G,H,I,J,K,L),
- expand_goal(call(O:N),O,call(P)),
- '$call_with_inference_counting'('$call'(P))
- ).
+ var(A),
+ instantiation_error(call/12).
+call(A,B,C,D,E,F,G,H,I,J,K,L) :-
+ '$call_inline'(A,B,C,D,E,F,G,H,I,J,K,L).
+call('$call'(A),B,C,D,E,F,G,H,I,J,K,L) :-
+ !,
+ '$prepare_call_clause'(M,N,A,B,C,D,E,F,G,H,I,J,K,L),
+ '$call_with_inference_counting'('$module_call'(N,M)).
+call(A,B,C,D,E,F,G,H,I,J,K,L) :-
+ '$prepare_call_clause'(M,N,A,B,C,D,E,F,G,H,I,J,K,L),
+ expand_goal(call(M),N,call(O)),
+ strip_subst_module(O,N,P,Q),
+ '$call_with_inference_counting'('$module_call'(P,Q)).
:-non_counted_backtracking call/13.
call(A,B,C,D,E,F,G,H,I,J,K,L,M) :-
- ( var(A) ->
- instantiation_error(call/13)
- ; A= '$call'(N) ->
- '$prepare_call_clause'(O,P,N,B,C,D,E,F,G,H,I,J,K,L,M),
- '$call_with_inference_counting'('$call'(P:O))
- ; '$prepare_call_clause'(O,P,A,B,C,D,E,F,G,H,I,J,K,L,M),
- expand_goal(call(P:O),P,call(Q)),
- '$call_with_inference_counting'('$call'(Q))
- ).
+ var(A),
+ instantiation_error(call/13).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M) :-
+ '$call_inline'(A,B,C,D,E,F,G,H,I,J,K,L,M).
+call('$call'(A),B,C,D,E,F,G,H,I,J,K,L,M) :-
+ !,
+ '$prepare_call_clause'(N,O,A,B,C,D,E,F,G,H,I,J,K,L,M),
+ '$call_with_inference_counting'('$module_call'(O,N)).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M) :-
+ '$prepare_call_clause'(N,O,A,B,C,D,E,F,G,H,I,J,K,L,M),
+ expand_goal(call(N),O,call(P)),
+ strip_subst_module(P,O,Q,R),
+ '$call_with_inference_counting'('$module_call'(Q,R)).
:-non_counted_backtracking call/14.
call(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :-
- ( var(A) ->
- instantiation_error(call/14)
- ; A= '$call'(O) ->
- '$prepare_call_clause'(P,Q,O,B,C,D,E,F,G,H,I,J,K,L,M,N),
- '$call_with_inference_counting'('$call'(Q:P))
- ; '$prepare_call_clause'(P,Q,A,B,C,D,E,F,G,H,I,J,K,L,M,N),
- expand_goal(call(Q:P),Q,call(R)),
- '$call_with_inference_counting'('$call'(R))
- ).
+ var(A),
+ instantiation_error(call/14).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :-
+ '$call_inline'(A,B,C,D,E,F,G,H,I,J,K,L,M,N).
+call('$call'(A),B,C,D,E,F,G,H,I,J,K,L,M,N) :-
+ !,
+ '$prepare_call_clause'(O,P,A,B,C,D,E,F,G,H,I,J,K,L,M,N),
+ '$call_with_inference_counting'('$module_call'(P,O)).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N) :-
+ '$prepare_call_clause'(O,P,A,B,C,D,E,F,G,H,I,J,K,L,M,N),
+ expand_goal(call(O),P,call(Q)),
+ strip_subst_module(Q,P,R,S),
+ '$call_with_inference_counting'('$module_call'(R,S)).
:-non_counted_backtracking call/15.
call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) :-
- ( var(A) ->
- instantiation_error(call/15)
- ; A= '$call'(P) ->
- '$prepare_call_clause'(Q,R,P,B,C,D,E,F,G,H,I,J,K,L,M,N,O),
- '$call_with_inference_counting'('$call'(R:Q))
- ; '$prepare_call_clause'(Q,R,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O),
- expand_goal(call(R:Q),R,call(S)),
- '$call_with_inference_counting'('$call'(S))
- ).
+ var(A),
+ instantiation_error(call/15).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) :-
+ '$call_inline'(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O).
+call('$call'(A),B,C,D,E,F,G,H,I,J,K,L,M,N,O) :-
+ !,
+ '$prepare_call_clause'(P,Q,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O),
+ '$call_with_inference_counting'('$module_call'(Q,P)).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) :-
+ '$prepare_call_clause'(P,Q,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O),
+ expand_goal(call(P),Q,call(R)),
+ strip_subst_module(R,Q,S,T),
+ '$call_with_inference_counting'('$module_call'(S,T)).
:-non_counted_backtracking call/16.
call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P) :-
- ( var(A) ->
- instantiation_error(call/16)
- ; A= '$call'(Q) ->
- '$prepare_call_clause'(R,S,Q,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P),
- '$call_with_inference_counting'('$call'(S:R))
- ; '$prepare_call_clause'(R,S,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P),
- expand_goal(call(S:R),S,call(T)),
- '$call_with_inference_counting'('$call'(T))
- ).
+ var(A),
+ instantiation_error(call/16).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P) :-
+ '$call_inline'(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P).
+call('$call'(A),B,C,D,E,F,G,H,I,J,K,L,M,N,O,P) :-
+ !,
+ '$prepare_call_clause'(Q,R,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P),
+ '$call_with_inference_counting'('$module_call'(R,Q)).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P) :-
+ '$prepare_call_clause'(Q,R,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P),
+ expand_goal(call(Q),R,call(S)),
+ strip_subst_module(S,R,T,U),
+ '$call_with_inference_counting'('$module_call'(T,U)).
:-non_counted_backtracking call/17.
call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q) :-
- ( var(A) ->
- instantiation_error(call/17)
- ; A= '$call'(R) ->
- '$prepare_call_clause'(S,T,R,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q),
- '$call_with_inference_counting'('$call'(T:S))
- ; '$prepare_call_clause'(S,T,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q),
- expand_goal(call(T:S),T,call(U)),
- '$call_with_inference_counting'('$call'(U))
- ).
+ var(A),
+ instantiation_error(call/17).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q) :-
+ '$call_inline'(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q).
+call('$call'(A),B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q) :-
+ !,
+ '$prepare_call_clause'(R,S,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q),
+ '$call_with_inference_counting'('$module_call'(S,R)).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q) :-
+ '$prepare_call_clause'(R,S,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q),
+ expand_goal(call(R),S,call(T)),
+ strip_subst_module(T,S,U,V),
+ '$call_with_inference_counting'('$module_call'(U,V)).
:-non_counted_backtracking call/18.
call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R) :-
- ( var(A) ->
- instantiation_error(call/18)
- ; A= '$call'(S) ->
- '$prepare_call_clause'(T,U,S,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R),
- '$call_with_inference_counting'('$call'(U:T))
- ; '$prepare_call_clause'(T,U,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R),
- expand_goal(call(U:T),U,call(V)),
- '$call_with_inference_counting'('$call'(V))
- ).
+ var(A),
+ instantiation_error(call/18).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R) :-
+ '$call_inline'(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R).
+call('$call'(A),B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R) :-
+ !,
+ '$prepare_call_clause'(S,T,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R),
+ '$call_with_inference_counting'('$module_call'(T,S)).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R) :-
+ '$prepare_call_clause'(S,T,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R),
+ expand_goal(call(S),T,call(U)),
+ strip_subst_module(U,T,V,W),
+ '$call_with_inference_counting'('$module_call'(V,W)).
:-non_counted_backtracking call/19.
call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S) :-
- ( var(A) ->
- instantiation_error(call/19)
- ; A= '$call'(T) ->
- '$prepare_call_clause'(U,V,T,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S),
- '$call_with_inference_counting'('$call'(V:U))
- ; '$prepare_call_clause'(U,V,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S),
- expand_goal(call(V:U),V,call(W)),
- '$call_with_inference_counting'('$call'(W))
- ).
+ var(A),
+ instantiation_error(call/19).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S) :-
+ '$call_inline'(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S).
+call('$call'(A),B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S) :-
+ !,
+ '$prepare_call_clause'(T,U,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S),
+ '$call_with_inference_counting'('$module_call'(U,T)).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S) :-
+ '$prepare_call_clause'(T,U,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S),
+ expand_goal(call(T),U,call(V)),
+ strip_subst_module(V,U,W,X),
+ '$call_with_inference_counting'('$module_call'(W,X)).
:-non_counted_backtracking call/20.
call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T) :-
- ( var(A) ->
- instantiation_error(call/20)
- ; A= '$call'(U) ->
- '$prepare_call_clause'(V,W,U,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T),
- '$call_with_inference_counting'('$call'(W:V))
- ; '$prepare_call_clause'(V,W,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T),
- expand_goal(call(W:V),W,call(X)),
- '$call_with_inference_counting'('$call'(X))
- ).
+ var(A),
+ instantiation_error(call/20).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T) :-
+ '$call_inline'(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T).
+call('$call'(A),B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T) :-
+ !,
+ '$prepare_call_clause'(U,V,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T),
+ '$call_with_inference_counting'('$module_call'(V,U)).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T) :-
+ '$prepare_call_clause'(U,V,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T),
+ expand_goal(call(U),V,call(W)),
+ strip_subst_module(W,V,X,Y),
+ '$call_with_inference_counting'('$module_call'(X,Y)).
:-non_counted_backtracking call/21.
call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U) :-
- ( var(A) ->
- instantiation_error(call/21)
- ; A= '$call'(V) ->
- '$prepare_call_clause'(W,X,V,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U),
- '$call_with_inference_counting'('$call'(X:W))
- ; '$prepare_call_clause'(W,X,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U),
- expand_goal(call(X:W),X,call(Y)),
- '$call_with_inference_counting'('$call'(Y))
- ).
+ var(A),
+ instantiation_error(call/21).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U) :-
+ '$call_inline'(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U).
+call('$call'(A),B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U) :-
+ !,
+ '$prepare_call_clause'(V,W,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U),
+ '$call_with_inference_counting'('$module_call'(W,V)).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U) :-
+ '$prepare_call_clause'(V,W,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U),
+ expand_goal(call(V),W,call(X)),
+ strip_subst_module(X,W,Y,Z),
+ '$call_with_inference_counting'('$module_call'(Y,Z)).
:-non_counted_backtracking call/22.
call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) :-
- ( var(A) ->
- instantiation_error(call/22)
- ; A= '$call'(W) ->
- '$prepare_call_clause'(X,Y,W,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V),
- '$call_with_inference_counting'('$call'(Y:X))
- ; '$prepare_call_clause'(X,Y,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V),
- expand_goal(call(Y:X),Y,call(Z)),
- '$call_with_inference_counting'('$call'(Z))
- ).
+ var(A),
+ instantiation_error(call/22).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) :-
+ '$call_inline'(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V).
+call('$call'(A),B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) :-
+ !,
+ '$prepare_call_clause'(W,X,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V),
+ '$call_with_inference_counting'('$module_call'(X,W)).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) :-
+ '$prepare_call_clause'(W,X,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V),
+ expand_goal(call(W),X,call(Y)),
+ strip_subst_module(Y,X,Z,A1),
+ '$call_with_inference_counting'('$module_call'(Z,A1)).
:-non_counted_backtracking call/23.
call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) :-
- ( var(A) ->
- instantiation_error(call/23)
- ; A= '$call'(X) ->
- '$prepare_call_clause'(Y,Z,X,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W),
- '$call_with_inference_counting'('$call'(Z:Y))
- ; '$prepare_call_clause'(Y,Z,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W),
- expand_goal(call(Z:Y),Z,call(A1)),
- '$call_with_inference_counting'('$call'(A1))
- ).
+ var(A),
+ instantiation_error(call/23).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) :-
+ '$call_inline'(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W).
+call('$call'(A),B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) :-
+ !,
+ '$prepare_call_clause'(X,Y,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W),
+ '$call_with_inference_counting'('$module_call'(Y,X)).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) :-
+ '$prepare_call_clause'(X,Y,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W),
+ expand_goal(call(X),Y,call(Z)),
+ strip_subst_module(Z,Y,A1,B1),
+ '$call_with_inference_counting'('$module_call'(A1,B1)).
:-non_counted_backtracking call/24.
call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X) :-
- ( var(A) ->
- instantiation_error(call/24)
- ; A= '$call'(Y) ->
- '$prepare_call_clause'(Z,A1,Y,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X),
- '$call_with_inference_counting'('$call'(A1:Z))
- ; '$prepare_call_clause'(Z,A1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X),
- expand_goal(call(A1:Z),A1,call(B1)),
- '$call_with_inference_counting'('$call'(B1))
- ).
+ var(A),
+ instantiation_error(call/24).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X) :-
+ '$call_inline'(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X).
+call('$call'(A),B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X) :-
+ !,
+ '$prepare_call_clause'(Y,Z,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X),
+ '$call_with_inference_counting'('$module_call'(Z,Y)).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X) :-
+ '$prepare_call_clause'(Y,Z,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X),
+ expand_goal(call(Y),Z,call(A1)),
+ strip_subst_module(A1,Z,B1,C1),
+ '$call_with_inference_counting'('$module_call'(B1,C1)).
:-non_counted_backtracking call/25.
call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y) :-
- ( var(A) ->
- instantiation_error(call/25)
- ; A= '$call'(Z) ->
- '$prepare_call_clause'(A1,B1,Z,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y),
- '$call_with_inference_counting'('$call'(B1:A1))
- ; '$prepare_call_clause'(A1,B1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y),
- expand_goal(call(B1:A1),B1,call(C1)),
- '$call_with_inference_counting'('$call'(C1))
- ).
+ var(A),
+ instantiation_error(call/25).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y) :-
+ '$call_inline'(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y).
+call('$call'(A),B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y) :-
+ !,
+ '$prepare_call_clause'(Z,A1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y),
+ '$call_with_inference_counting'('$module_call'(A1,Z)).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y) :-
+ '$prepare_call_clause'(Z,A1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y),
+ expand_goal(call(Z),A1,call(B1)),
+ strip_subst_module(B1,A1,C1,D1),
+ '$call_with_inference_counting'('$module_call'(C1,D1)).
:-non_counted_backtracking call/26.
call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z) :-
- ( var(A) ->
- instantiation_error(call/26)
- ; A= '$call'(A1) ->
- '$prepare_call_clause'(B1,C1,A1,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z),
- '$call_with_inference_counting'('$call'(C1:B1))
- ; '$prepare_call_clause'(B1,C1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z),
- expand_goal(call(C1:B1),C1,call(D1)),
- '$call_with_inference_counting'('$call'(D1))
- ).
+ var(A),
+ instantiation_error(call/26).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z) :-
+ '$call_inline'(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z).
+call('$call'(A),B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z) :-
+ !,
+ '$prepare_call_clause'(A1,B1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z),
+ '$call_with_inference_counting'('$module_call'(B1,A1)).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z) :-
+ '$prepare_call_clause'(A1,B1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z),
+ expand_goal(call(A1),B1,call(C1)),
+ strip_subst_module(C1,B1,D1,E1),
+ '$call_with_inference_counting'('$module_call'(D1,E1)).
:-non_counted_backtracking call/27.
call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) :-
- ( var(A) ->
- instantiation_error(call/27)
- ; A= '$call'(B1) ->
- '$prepare_call_clause'(C1,D1,B1,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1),
- '$call_with_inference_counting'('$call'(D1:C1))
- ; '$prepare_call_clause'(C1,D1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1),
- expand_goal(call(D1:C1),D1,call(E1)),
- '$call_with_inference_counting'('$call'(E1))
- ).
+ var(A),
+ instantiation_error(call/27).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) :-
+ '$call_inline'(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1).
+call('$call'(A),B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) :-
+ !,
+ '$prepare_call_clause'(B1,C1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1),
+ '$call_with_inference_counting'('$module_call'(C1,B1)).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) :-
+ '$prepare_call_clause'(B1,C1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1),
+ expand_goal(call(B1),C1,call(D1)),
+ strip_subst_module(D1,C1,E1,F1),
+ '$call_with_inference_counting'('$module_call'(E1,F1)).
:-non_counted_backtracking call/28.
call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1) :-
- ( var(A) ->
- instantiation_error(call/28)
- ; A= '$call'(C1) ->
- '$prepare_call_clause'(D1,E1,C1,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1),
- '$call_with_inference_counting'('$call'(E1:D1))
- ; '$prepare_call_clause'(D1,E1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1),
- expand_goal(call(E1:D1),E1,call(F1)),
- '$call_with_inference_counting'('$call'(F1))
- ).
+ var(A),
+ instantiation_error(call/28).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1) :-
+ '$call_inline'(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1).
+call('$call'(A),B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1) :-
+ !,
+ '$prepare_call_clause'(C1,D1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1),
+ '$call_with_inference_counting'('$module_call'(D1,C1)).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1) :-
+ '$prepare_call_clause'(C1,D1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1),
+ expand_goal(call(C1),D1,call(E1)),
+ strip_subst_module(E1,D1,F1,G1),
+ '$call_with_inference_counting'('$module_call'(F1,G1)).
:-non_counted_backtracking call/29.
call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) :-
- ( var(A) ->
- instantiation_error(call/29)
- ; A= '$call'(D1) ->
- '$prepare_call_clause'(E1,F1,D1,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1),
- '$call_with_inference_counting'('$call'(F1:E1))
- ; '$prepare_call_clause'(E1,F1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1),
- expand_goal(call(F1:E1),F1,call(G1)),
- '$call_with_inference_counting'('$call'(G1))
- ).
+ var(A),
+ instantiation_error(call/29).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) :-
+ '$call_inline'(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1).
+call('$call'(A),B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) :-
+ !,
+ '$prepare_call_clause'(D1,E1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1),
+ '$call_with_inference_counting'('$module_call'(E1,D1)).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) :-
+ '$prepare_call_clause'(D1,E1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1),
+ expand_goal(call(D1),E1,call(F1)),
+ strip_subst_module(F1,E1,G1,H1),
+ '$call_with_inference_counting'('$module_call'(G1,H1)).
:-non_counted_backtracking call/30.
call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) :-
- ( var(A) ->
- instantiation_error(call/30)
- ; A= '$call'(E1) ->
- '$prepare_call_clause'(F1,G1,E1,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1),
- '$call_with_inference_counting'('$call'(G1:F1))
- ; '$prepare_call_clause'(F1,G1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1),
- expand_goal(call(G1:F1),G1,call(H1)),
- '$call_with_inference_counting'('$call'(H1))
- ).
+ var(A),
+ instantiation_error(call/30).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) :-
+ '$call_inline'(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1).
+call('$call'(A),B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) :-
+ !,
+ '$prepare_call_clause'(E1,F1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1),
+ '$call_with_inference_counting'('$module_call'(F1,E1)).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) :-
+ '$prepare_call_clause'(E1,F1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1),
+ expand_goal(call(E1),F1,call(G1)),
+ strip_subst_module(G1,F1,H1,I1),
+ '$call_with_inference_counting'('$module_call'(H1,I1)).
:-non_counted_backtracking call/31.
call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) :-
- ( var(A) ->
- instantiation_error(call/31)
- ; A= '$call'(F1) ->
- '$prepare_call_clause'(G1,H1,F1,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1),
- '$call_with_inference_counting'('$call'(H1:G1))
- ; '$prepare_call_clause'(G1,H1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1),
- expand_goal(call(H1:G1),H1,call(I1)),
- '$call_with_inference_counting'('$call'(I1))
- ).
+ var(A),
+ instantiation_error(call/31).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) :-
+ '$call_inline'(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1).
+call('$call'(A),B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) :-
+ !,
+ '$prepare_call_clause'(F1,G1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1),
+ '$call_with_inference_counting'('$module_call'(G1,F1)).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) :-
+ '$prepare_call_clause'(F1,G1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1),
+ expand_goal(call(F1),G1,call(H1)),
+ strip_subst_module(H1,G1,I1,J1),
+ '$call_with_inference_counting'('$module_call'(I1,J1)).
:-non_counted_backtracking call/32.
call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) :-
- ( var(A) ->
- instantiation_error(call/32)
- ; A= '$call'(G1) ->
- '$prepare_call_clause'(H1,I1,G1,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1),
- '$call_with_inference_counting'('$call'(I1:H1))
- ; '$prepare_call_clause'(H1,I1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1),
- expand_goal(call(I1:H1),I1,call(J1)),
- '$call_with_inference_counting'('$call'(J1))
- ).
+ var(A),
+ instantiation_error(call/32).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) :-
+ '$call_inline'(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1).
+call('$call'(A),B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) :-
+ !,
+ '$prepare_call_clause'(G1,H1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1),
+ '$call_with_inference_counting'('$module_call'(H1,G1)).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) :-
+ '$prepare_call_clause'(G1,H1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1),
+ expand_goal(call(G1),H1,call(I1)),
+ strip_subst_module(I1,H1,J1,K1),
+ '$call_with_inference_counting'('$module_call'(J1,K1)).
:-non_counted_backtracking call/33.
call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1) :-
- ( var(A) ->
- instantiation_error(call/33)
- ; A= '$call'(H1) ->
- '$prepare_call_clause'(I1,J1,H1,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1),
- '$call_with_inference_counting'('$call'(J1:I1))
- ; '$prepare_call_clause'(I1,J1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1),
- expand_goal(call(J1:I1),J1,call(K1)),
- '$call_with_inference_counting'('$call'(K1))
- ).
+ var(A),
+ instantiation_error(call/33).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1) :-
+ '$call_inline'(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1).
+call('$call'(A),B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1) :-
+ !,
+ '$prepare_call_clause'(H1,I1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1),
+ '$call_with_inference_counting'('$module_call'(I1,H1)).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1) :-
+ '$prepare_call_clause'(H1,I1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1),
+ expand_goal(call(H1),I1,call(J1)),
+ strip_subst_module(J1,I1,K1,L1),
+ '$call_with_inference_counting'('$module_call'(K1,L1)).
:-non_counted_backtracking call/34.
call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1) :-
- ( var(A) ->
- instantiation_error(call/34)
- ; A= '$call'(I1) ->
- '$prepare_call_clause'(J1,K1,I1,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1),
- '$call_with_inference_counting'('$call'(K1:J1))
- ; '$prepare_call_clause'(J1,K1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1),
- expand_goal(call(K1:J1),K1,call(L1)),
- '$call_with_inference_counting'('$call'(L1))
- ).
+ var(A),
+ instantiation_error(call/34).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1) :-
+ '$call_inline'(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1).
+call('$call'(A),B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1) :-
+ !,
+ '$prepare_call_clause'(I1,J1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1),
+ '$call_with_inference_counting'('$module_call'(J1,I1)).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1) :-
+ '$prepare_call_clause'(I1,J1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1),
+ expand_goal(call(I1),J1,call(K1)),
+ strip_subst_module(K1,J1,L1,M1),
+ '$call_with_inference_counting'('$module_call'(L1,M1)).
:-non_counted_backtracking call/35.
call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1) :-
- ( var(A) ->
- instantiation_error(call/35)
- ; A= '$call'(J1) ->
- '$prepare_call_clause'(K1,L1,J1,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1),
- '$call_with_inference_counting'('$call'(L1:K1))
- ; '$prepare_call_clause'(K1,L1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1),
- expand_goal(call(L1:K1),L1,call(M1)),
- '$call_with_inference_counting'('$call'(M1))
- ).
+ var(A),
+ instantiation_error(call/35).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1) :-
+ '$call_inline'(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1).
+call('$call'(A),B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1) :-
+ !,
+ '$prepare_call_clause'(J1,K1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1),
+ '$call_with_inference_counting'('$module_call'(K1,J1)).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1) :-
+ '$prepare_call_clause'(J1,K1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1),
+ expand_goal(call(J1),K1,call(L1)),
+ strip_subst_module(L1,K1,M1,N1),
+ '$call_with_inference_counting'('$module_call'(M1,N1)).
:-non_counted_backtracking call/36.
call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1) :-
- ( var(A) ->
- instantiation_error(call/36)
- ; A= '$call'(K1) ->
- '$prepare_call_clause'(L1,M1,K1,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1),
- '$call_with_inference_counting'('$call'(M1:L1))
- ; '$prepare_call_clause'(L1,M1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1),
- expand_goal(call(M1:L1),M1,call(N1)),
- '$call_with_inference_counting'('$call'(N1))
- ).
+ var(A),
+ instantiation_error(call/36).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1) :-
+ '$call_inline'(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1).
+call('$call'(A),B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1) :-
+ !,
+ '$prepare_call_clause'(K1,L1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1),
+ '$call_with_inference_counting'('$module_call'(L1,K1)).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1) :-
+ '$prepare_call_clause'(K1,L1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1),
+ expand_goal(call(K1),L1,call(M1)),
+ strip_subst_module(M1,L1,N1,O1),
+ '$call_with_inference_counting'('$module_call'(N1,O1)).
:-non_counted_backtracking call/37.
call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1) :-
- ( var(A) ->
- instantiation_error(call/37)
- ; A= '$call'(L1) ->
- '$prepare_call_clause'(M1,N1,L1,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1),
- '$call_with_inference_counting'('$call'(N1:M1))
- ; '$prepare_call_clause'(M1,N1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1),
- expand_goal(call(N1:M1),N1,call(O1)),
- '$call_with_inference_counting'('$call'(O1))
- ).
+ var(A),
+ instantiation_error(call/37).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1) :-
+ '$call_inline'(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1).
+call('$call'(A),B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1) :-
+ !,
+ '$prepare_call_clause'(L1,M1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1),
+ '$call_with_inference_counting'('$module_call'(M1,L1)).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1) :-
+ '$prepare_call_clause'(L1,M1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1),
+ expand_goal(call(L1),M1,call(N1)),
+ strip_subst_module(N1,M1,O1,P1),
+ '$call_with_inference_counting'('$module_call'(O1,P1)).
:-non_counted_backtracking call/38.
call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1) :-
- ( var(A) ->
- instantiation_error(call/38)
- ; A= '$call'(M1) ->
- '$prepare_call_clause'(N1,O1,M1,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1),
- '$call_with_inference_counting'('$call'(O1:N1))
- ; '$prepare_call_clause'(N1,O1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1),
- expand_goal(call(O1:N1),O1,call(P1)),
- '$call_with_inference_counting'('$call'(P1))
- ).
+ var(A),
+ instantiation_error(call/38).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1) :-
+ '$call_inline'(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1).
+call('$call'(A),B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1) :-
+ !,
+ '$prepare_call_clause'(M1,N1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1),
+ '$call_with_inference_counting'('$module_call'(N1,M1)).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1) :-
+ '$prepare_call_clause'(M1,N1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1),
+ expand_goal(call(M1),N1,call(O1)),
+ strip_subst_module(O1,N1,P1,Q1),
+ '$call_with_inference_counting'('$module_call'(P1,Q1)).
:-non_counted_backtracking call/39.
call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1) :-
- ( var(A) ->
- instantiation_error(call/39)
- ; A= '$call'(N1) ->
- '$prepare_call_clause'(O1,P1,N1,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1),
- '$call_with_inference_counting'('$call'(P1:O1))
- ; '$prepare_call_clause'(O1,P1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1),
- expand_goal(call(P1:O1),P1,call(Q1)),
- '$call_with_inference_counting'('$call'(Q1))
- ).
+ var(A),
+ instantiation_error(call/39).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1) :-
+ '$call_inline'(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1).
+call('$call'(A),B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1) :-
+ !,
+ '$prepare_call_clause'(N1,O1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1),
+ '$call_with_inference_counting'('$module_call'(O1,N1)).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1) :-
+ '$prepare_call_clause'(N1,O1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1),
+ expand_goal(call(N1),O1,call(P1)),
+ strip_subst_module(P1,O1,Q1,R1),
+ '$call_with_inference_counting'('$module_call'(Q1,R1)).
:-non_counted_backtracking call/40.
call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1) :-
- ( var(A) ->
- instantiation_error(call/40)
- ; A= '$call'(O1) ->
- '$prepare_call_clause'(P1,Q1,O1,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1),
- '$call_with_inference_counting'('$call'(Q1:P1))
- ; '$prepare_call_clause'(P1,Q1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1),
- expand_goal(call(Q1:P1),Q1,call(R1)),
- '$call_with_inference_counting'('$call'(R1))
- ).
+ var(A),
+ instantiation_error(call/40).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1) :-
+ '$call_inline'(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1).
+call('$call'(A),B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1) :-
+ !,
+ '$prepare_call_clause'(O1,P1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1),
+ '$call_with_inference_counting'('$module_call'(P1,O1)).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1) :-
+ '$prepare_call_clause'(O1,P1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1),
+ expand_goal(call(O1),P1,call(Q1)),
+ strip_subst_module(Q1,P1,R1,S1),
+ '$call_with_inference_counting'('$module_call'(R1,S1)).
:-non_counted_backtracking call/41.
call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1) :-
- ( var(A) ->
- instantiation_error(call/41)
- ; A= '$call'(P1) ->
- '$prepare_call_clause'(Q1,R1,P1,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1),
- '$call_with_inference_counting'('$call'(R1:Q1))
- ; '$prepare_call_clause'(Q1,R1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1),
- expand_goal(call(R1:Q1),R1,call(S1)),
- '$call_with_inference_counting'('$call'(S1))
- ).
+ var(A),
+ instantiation_error(call/41).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1) :-
+ '$call_inline'(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1).
+call('$call'(A),B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1) :-
+ !,
+ '$prepare_call_clause'(P1,Q1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1),
+ '$call_with_inference_counting'('$module_call'(Q1,P1)).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1) :-
+ '$prepare_call_clause'(P1,Q1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1),
+ expand_goal(call(P1),Q1,call(R1)),
+ strip_subst_module(R1,Q1,S1,T1),
+ '$call_with_inference_counting'('$module_call'(S1,T1)).
:-non_counted_backtracking call/42.
call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1) :-
- ( var(A) ->
- instantiation_error(call/42)
- ; A= '$call'(Q1) ->
- '$prepare_call_clause'(R1,S1,Q1,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1),
- '$call_with_inference_counting'('$call'(S1:R1))
- ; '$prepare_call_clause'(R1,S1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1),
- expand_goal(call(S1:R1),S1,call(T1)),
- '$call_with_inference_counting'('$call'(T1))
- ).
+ var(A),
+ instantiation_error(call/42).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1) :-
+ '$call_inline'(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1).
+call('$call'(A),B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1) :-
+ !,
+ '$prepare_call_clause'(Q1,R1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1),
+ '$call_with_inference_counting'('$module_call'(R1,Q1)).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1) :-
+ '$prepare_call_clause'(Q1,R1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1),
+ expand_goal(call(Q1),R1,call(S1)),
+ strip_subst_module(S1,R1,T1,U1),
+ '$call_with_inference_counting'('$module_call'(T1,U1)).
:-non_counted_backtracking call/43.
call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1) :-
- ( var(A) ->
- instantiation_error(call/43)
- ; A= '$call'(R1) ->
- '$prepare_call_clause'(S1,T1,R1,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1),
- '$call_with_inference_counting'('$call'(T1:S1))
- ; '$prepare_call_clause'(S1,T1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1),
- expand_goal(call(T1:S1),T1,call(U1)),
- '$call_with_inference_counting'('$call'(U1))
- ).
+ var(A),
+ instantiation_error(call/43).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1) :-
+ '$call_inline'(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1).
+call('$call'(A),B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1) :-
+ !,
+ '$prepare_call_clause'(R1,S1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1),
+ '$call_with_inference_counting'('$module_call'(S1,R1)).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1) :-
+ '$prepare_call_clause'(R1,S1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1),
+ expand_goal(call(R1),S1,call(T1)),
+ strip_subst_module(T1,S1,U1,V1),
+ '$call_with_inference_counting'('$module_call'(U1,V1)).
:-non_counted_backtracking call/44.
call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1) :-
- ( var(A) ->
- instantiation_error(call/44)
- ; A= '$call'(S1) ->
- '$prepare_call_clause'(T1,U1,S1,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1),
- '$call_with_inference_counting'('$call'(U1:T1))
- ; '$prepare_call_clause'(T1,U1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1),
- expand_goal(call(U1:T1),U1,call(V1)),
- '$call_with_inference_counting'('$call'(V1))
- ).
+ var(A),
+ instantiation_error(call/44).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1) :-
+ '$call_inline'(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1).
+call('$call'(A),B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1) :-
+ !,
+ '$prepare_call_clause'(S1,T1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1),
+ '$call_with_inference_counting'('$module_call'(T1,S1)).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1) :-
+ '$prepare_call_clause'(S1,T1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1),
+ expand_goal(call(S1),T1,call(U1)),
+ strip_subst_module(U1,T1,V1,W1),
+ '$call_with_inference_counting'('$module_call'(V1,W1)).
:-non_counted_backtracking call/45.
call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1) :-
- ( var(A) ->
- instantiation_error(call/45)
- ; A= '$call'(T1) ->
- '$prepare_call_clause'(U1,V1,T1,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1),
- '$call_with_inference_counting'('$call'(V1:U1))
- ; '$prepare_call_clause'(U1,V1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1),
- expand_goal(call(V1:U1),V1,call(W1)),
- '$call_with_inference_counting'('$call'(W1))
- ).
+ var(A),
+ instantiation_error(call/45).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1) :-
+ '$call_inline'(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1).
+call('$call'(A),B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1) :-
+ !,
+ '$prepare_call_clause'(T1,U1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1),
+ '$call_with_inference_counting'('$module_call'(U1,T1)).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1) :-
+ '$prepare_call_clause'(T1,U1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1),
+ expand_goal(call(T1),U1,call(V1)),
+ strip_subst_module(V1,U1,W1,X1),
+ '$call_with_inference_counting'('$module_call'(W1,X1)).
:-non_counted_backtracking call/46.
call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1) :-
- ( var(A) ->
- instantiation_error(call/46)
- ; A= '$call'(U1) ->
- '$prepare_call_clause'(V1,W1,U1,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1),
- '$call_with_inference_counting'('$call'(W1:V1))
- ; '$prepare_call_clause'(V1,W1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1),
- expand_goal(call(W1:V1),W1,call(X1)),
- '$call_with_inference_counting'('$call'(X1))
- ).
+ var(A),
+ instantiation_error(call/46).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1) :-
+ '$call_inline'(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1).
+call('$call'(A),B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1) :-
+ !,
+ '$prepare_call_clause'(U1,V1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1),
+ '$call_with_inference_counting'('$module_call'(V1,U1)).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1) :-
+ '$prepare_call_clause'(U1,V1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1),
+ expand_goal(call(U1),V1,call(W1)),
+ strip_subst_module(W1,V1,X1,Y1),
+ '$call_with_inference_counting'('$module_call'(X1,Y1)).
:-non_counted_backtracking call/47.
call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1) :-
- ( var(A) ->
- instantiation_error(call/47)
- ; A= '$call'(V1) ->
- '$prepare_call_clause'(W1,X1,V1,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1),
- '$call_with_inference_counting'('$call'(X1:W1))
- ; '$prepare_call_clause'(W1,X1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1),
- expand_goal(call(X1:W1),X1,call(Y1)),
- '$call_with_inference_counting'('$call'(Y1))
- ).
+ var(A),
+ instantiation_error(call/47).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1) :-
+ '$call_inline'(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1).
+call('$call'(A),B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1) :-
+ !,
+ '$prepare_call_clause'(V1,W1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1),
+ '$call_with_inference_counting'('$module_call'(W1,V1)).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1) :-
+ '$prepare_call_clause'(V1,W1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1),
+ expand_goal(call(V1),W1,call(X1)),
+ strip_subst_module(X1,W1,Y1,Z1),
+ '$call_with_inference_counting'('$module_call'(Y1,Z1)).
:-non_counted_backtracking call/48.
call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1) :-
- ( var(A) ->
- instantiation_error(call/48)
- ; A= '$call'(W1) ->
- '$prepare_call_clause'(X1,Y1,W1,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1),
- '$call_with_inference_counting'('$call'(Y1:X1))
- ; '$prepare_call_clause'(X1,Y1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1),
- expand_goal(call(Y1:X1),Y1,call(Z1)),
- '$call_with_inference_counting'('$call'(Z1))
- ).
+ var(A),
+ instantiation_error(call/48).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1) :-
+ '$call_inline'(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1).
+call('$call'(A),B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1) :-
+ !,
+ '$prepare_call_clause'(W1,X1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1),
+ '$call_with_inference_counting'('$module_call'(X1,W1)).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1) :-
+ '$prepare_call_clause'(W1,X1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1),
+ expand_goal(call(W1),X1,call(Y1)),
+ strip_subst_module(Y1,X1,Z1,A2),
+ '$call_with_inference_counting'('$module_call'(Z1,A2)).
:-non_counted_backtracking call/49.
call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1) :-
- ( var(A) ->
- instantiation_error(call/49)
- ; A= '$call'(X1) ->
- '$prepare_call_clause'(Y1,Z1,X1,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1),
- '$call_with_inference_counting'('$call'(Z1:Y1))
- ; '$prepare_call_clause'(Y1,Z1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1),
- expand_goal(call(Z1:Y1),Z1,call(A2)),
- '$call_with_inference_counting'('$call'(A2))
- ).
+ var(A),
+ instantiation_error(call/49).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1) :-
+ '$call_inline'(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1).
+call('$call'(A),B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1) :-
+ !,
+ '$prepare_call_clause'(X1,Y1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1),
+ '$call_with_inference_counting'('$module_call'(Y1,X1)).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1) :-
+ '$prepare_call_clause'(X1,Y1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1),
+ expand_goal(call(X1),Y1,call(Z1)),
+ strip_subst_module(Z1,Y1,A2,B2),
+ '$call_with_inference_counting'('$module_call'(A2,B2)).
:-non_counted_backtracking call/50.
call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1) :-
- ( var(A) ->
- instantiation_error(call/50)
- ; A= '$call'(Y1) ->
- '$prepare_call_clause'(Z1,A2,Y1,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1),
- '$call_with_inference_counting'('$call'(A2:Z1))
- ; '$prepare_call_clause'(Z1,A2,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1),
- expand_goal(call(A2:Z1),A2,call(B2)),
- '$call_with_inference_counting'('$call'(B2))
- ).
+ var(A),
+ instantiation_error(call/50).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1) :-
+ '$call_inline'(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1).
+call('$call'(A),B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1) :-
+ !,
+ '$prepare_call_clause'(Y1,Z1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1),
+ '$call_with_inference_counting'('$module_call'(Z1,Y1)).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1) :-
+ '$prepare_call_clause'(Y1,Z1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1),
+ expand_goal(call(Y1),Z1,call(A2)),
+ strip_subst_module(A2,Z1,B2,C2),
+ '$call_with_inference_counting'('$module_call'(B2,C2)).
:-non_counted_backtracking call/51.
call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1) :-
- ( var(A) ->
- instantiation_error(call/51)
- ; A= '$call'(Z1) ->
- '$prepare_call_clause'(A2,B2,Z1,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1),
- '$call_with_inference_counting'('$call'(B2:A2))
- ; '$prepare_call_clause'(A2,B2,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1),
- expand_goal(call(B2:A2),B2,call(C2)),
- '$call_with_inference_counting'('$call'(C2))
- ).
+ var(A),
+ instantiation_error(call/51).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1) :-
+ '$call_inline'(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1).
+call('$call'(A),B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1) :-
+ !,
+ '$prepare_call_clause'(Z1,A2,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1),
+ '$call_with_inference_counting'('$module_call'(A2,Z1)).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1) :-
+ '$prepare_call_clause'(Z1,A2,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1),
+ expand_goal(call(Z1),A2,call(B2)),
+ strip_subst_module(B2,A2,C2,D2),
+ '$call_with_inference_counting'('$module_call'(C2,D2)).
:-non_counted_backtracking call/52.
call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1) :-
- ( var(A) ->
- instantiation_error(call/52)
- ; A= '$call'(A2) ->
- '$prepare_call_clause'(B2,C2,A2,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1),
- '$call_with_inference_counting'('$call'(C2:B2))
- ; '$prepare_call_clause'(B2,C2,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1),
- expand_goal(call(C2:B2),C2,call(D2)),
- '$call_with_inference_counting'('$call'(D2))
- ).
+ var(A),
+ instantiation_error(call/52).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1) :-
+ '$call_inline'(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1).
+call('$call'(A),B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1) :-
+ !,
+ '$prepare_call_clause'(A2,B2,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1),
+ '$call_with_inference_counting'('$module_call'(B2,A2)).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1) :-
+ '$prepare_call_clause'(A2,B2,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1),
+ expand_goal(call(A2),B2,call(C2)),
+ strip_subst_module(C2,B2,D2,E2),
+ '$call_with_inference_counting'('$module_call'(D2,E2)).
:-non_counted_backtracking call/53.
call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2) :-
- ( var(A) ->
- instantiation_error(call/53)
- ; A= '$call'(B2) ->
- '$prepare_call_clause'(C2,D2,B2,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2),
- '$call_with_inference_counting'('$call'(D2:C2))
- ; '$prepare_call_clause'(C2,D2,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2),
- expand_goal(call(D2:C2),D2,call(E2)),
- '$call_with_inference_counting'('$call'(E2))
- ).
+ var(A),
+ instantiation_error(call/53).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2) :-
+ '$call_inline'(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2).
+call('$call'(A),B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2) :-
+ !,
+ '$prepare_call_clause'(B2,C2,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2),
+ '$call_with_inference_counting'('$module_call'(C2,B2)).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2) :-
+ '$prepare_call_clause'(B2,C2,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2),
+ expand_goal(call(B2),C2,call(D2)),
+ strip_subst_module(D2,C2,E2,F2),
+ '$call_with_inference_counting'('$module_call'(E2,F2)).
:-non_counted_backtracking call/54.
call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2) :-
- ( var(A) ->
- instantiation_error(call/54)
- ; A= '$call'(C2) ->
- '$prepare_call_clause'(D2,E2,C2,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2),
- '$call_with_inference_counting'('$call'(E2:D2))
- ; '$prepare_call_clause'(D2,E2,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2),
- expand_goal(call(E2:D2),E2,call(F2)),
- '$call_with_inference_counting'('$call'(F2))
- ).
+ var(A),
+ instantiation_error(call/54).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2) :-
+ '$call_inline'(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2).
+call('$call'(A),B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2) :-
+ !,
+ '$prepare_call_clause'(C2,D2,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2),
+ '$call_with_inference_counting'('$module_call'(D2,C2)).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2) :-
+ '$prepare_call_clause'(C2,D2,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2),
+ expand_goal(call(C2),D2,call(E2)),
+ strip_subst_module(E2,D2,F2,G2),
+ '$call_with_inference_counting'('$module_call'(F2,G2)).
:-non_counted_backtracking call/55.
call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2) :-
- ( var(A) ->
- instantiation_error(call/55)
- ; A= '$call'(D2) ->
- '$prepare_call_clause'(E2,F2,D2,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2),
- '$call_with_inference_counting'('$call'(F2:E2))
- ; '$prepare_call_clause'(E2,F2,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2),
- expand_goal(call(F2:E2),F2,call(G2)),
- '$call_with_inference_counting'('$call'(G2))
- ).
+ var(A),
+ instantiation_error(call/55).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2) :-
+ '$call_inline'(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2).
+call('$call'(A),B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2) :-
+ !,
+ '$prepare_call_clause'(D2,E2,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2),
+ '$call_with_inference_counting'('$module_call'(E2,D2)).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2) :-
+ '$prepare_call_clause'(D2,E2,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2),
+ expand_goal(call(D2),E2,call(F2)),
+ strip_subst_module(F2,E2,G2,H2),
+ '$call_with_inference_counting'('$module_call'(G2,H2)).
:-non_counted_backtracking call/56.
call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2) :-
- ( var(A) ->
- instantiation_error(call/56)
- ; A= '$call'(E2) ->
- '$prepare_call_clause'(F2,G2,E2,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2),
- '$call_with_inference_counting'('$call'(G2:F2))
- ; '$prepare_call_clause'(F2,G2,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2),
- expand_goal(call(G2:F2),G2,call(H2)),
- '$call_with_inference_counting'('$call'(H2))
- ).
+ var(A),
+ instantiation_error(call/56).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2) :-
+ '$call_inline'(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2).
+call('$call'(A),B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2) :-
+ !,
+ '$prepare_call_clause'(E2,F2,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2),
+ '$call_with_inference_counting'('$module_call'(F2,E2)).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2) :-
+ '$prepare_call_clause'(E2,F2,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2),
+ expand_goal(call(E2),F2,call(G2)),
+ strip_subst_module(G2,F2,H2,I2),
+ '$call_with_inference_counting'('$module_call'(H2,I2)).
:-non_counted_backtracking call/57.
call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2) :-
- ( var(A) ->
- instantiation_error(call/57)
- ; A= '$call'(F2) ->
- '$prepare_call_clause'(G2,H2,F2,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2),
- '$call_with_inference_counting'('$call'(H2:G2))
- ; '$prepare_call_clause'(G2,H2,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2),
- expand_goal(call(H2:G2),H2,call(I2)),
- '$call_with_inference_counting'('$call'(I2))
- ).
+ var(A),
+ instantiation_error(call/57).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2) :-
+ '$call_inline'(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2).
+call('$call'(A),B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2) :-
+ !,
+ '$prepare_call_clause'(F2,G2,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2),
+ '$call_with_inference_counting'('$module_call'(G2,F2)).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2) :-
+ '$prepare_call_clause'(F2,G2,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2),
+ expand_goal(call(F2),G2,call(H2)),
+ strip_subst_module(H2,G2,I2,J2),
+ '$call_with_inference_counting'('$module_call'(I2,J2)).
:-non_counted_backtracking call/58.
call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2) :-
- ( var(A) ->
- instantiation_error(call/58)
- ; A= '$call'(G2) ->
- '$prepare_call_clause'(H2,I2,G2,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2),
- '$call_with_inference_counting'('$call'(I2:H2))
- ; '$prepare_call_clause'(H2,I2,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2),
- expand_goal(call(I2:H2),I2,call(J2)),
- '$call_with_inference_counting'('$call'(J2))
- ).
+ var(A),
+ instantiation_error(call/58).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2) :-
+ '$call_inline'(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2).
+call('$call'(A),B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2) :-
+ !,
+ '$prepare_call_clause'(G2,H2,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2),
+ '$call_with_inference_counting'('$module_call'(H2,G2)).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2) :-
+ '$prepare_call_clause'(G2,H2,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2),
+ expand_goal(call(G2),H2,call(I2)),
+ strip_subst_module(I2,H2,J2,K2),
+ '$call_with_inference_counting'('$module_call'(J2,K2)).
:-non_counted_backtracking call/59.
call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2) :-
- ( var(A) ->
- instantiation_error(call/59)
- ; A= '$call'(H2) ->
- '$prepare_call_clause'(I2,J2,H2,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2),
- '$call_with_inference_counting'('$call'(J2:I2))
- ; '$prepare_call_clause'(I2,J2,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2),
- expand_goal(call(J2:I2),J2,call(K2)),
- '$call_with_inference_counting'('$call'(K2))
- ).
+ var(A),
+ instantiation_error(call/59).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2) :-
+ '$call_inline'(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2).
+call('$call'(A),B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2) :-
+ !,
+ '$prepare_call_clause'(H2,I2,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2),
+ '$call_with_inference_counting'('$module_call'(I2,H2)).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2) :-
+ '$prepare_call_clause'(H2,I2,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2),
+ expand_goal(call(H2),I2,call(J2)),
+ strip_subst_module(J2,I2,K2,L2),
+ '$call_with_inference_counting'('$module_call'(K2,L2)).
:-non_counted_backtracking call/60.
call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2) :-
- ( var(A) ->
- instantiation_error(call/60)
- ; A= '$call'(I2) ->
- '$prepare_call_clause'(J2,K2,I2,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2),
- '$call_with_inference_counting'('$call'(K2:J2))
- ; '$prepare_call_clause'(J2,K2,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2),
- expand_goal(call(K2:J2),K2,call(L2)),
- '$call_with_inference_counting'('$call'(L2))
- ).
+ var(A),
+ instantiation_error(call/60).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2) :-
+ '$call_inline'(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2).
+call('$call'(A),B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2) :-
+ !,
+ '$prepare_call_clause'(I2,J2,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2),
+ '$call_with_inference_counting'('$module_call'(J2,I2)).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2) :-
+ '$prepare_call_clause'(I2,J2,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2),
+ expand_goal(call(I2),J2,call(K2)),
+ strip_subst_module(K2,J2,L2,M2),
+ '$call_with_inference_counting'('$module_call'(L2,M2)).
:-non_counted_backtracking call/61.
call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2) :-
- ( var(A) ->
- instantiation_error(call/61)
- ; A= '$call'(J2) ->
- '$prepare_call_clause'(K2,L2,J2,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2),
- '$call_with_inference_counting'('$call'(L2:K2))
- ; '$prepare_call_clause'(K2,L2,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2),
- expand_goal(call(L2:K2),L2,call(M2)),
- '$call_with_inference_counting'('$call'(M2))
- ).
+ var(A),
+ instantiation_error(call/61).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2) :-
+ '$call_inline'(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2).
+call('$call'(A),B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2) :-
+ !,
+ '$prepare_call_clause'(J2,K2,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2),
+ '$call_with_inference_counting'('$module_call'(K2,J2)).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2) :-
+ '$prepare_call_clause'(J2,K2,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2),
+ expand_goal(call(J2),K2,call(L2)),
+ strip_subst_module(L2,K2,M2,N2),
+ '$call_with_inference_counting'('$module_call'(M2,N2)).
:-non_counted_backtracking call/62.
call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2) :-
- ( var(A) ->
- instantiation_error(call/62)
- ; A= '$call'(K2) ->
- '$prepare_call_clause'(L2,M2,K2,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2),
- '$call_with_inference_counting'('$call'(M2:L2))
- ; '$prepare_call_clause'(L2,M2,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2),
- expand_goal(call(M2:L2),M2,call(N2)),
- '$call_with_inference_counting'('$call'(N2))
- ).
+ var(A),
+ instantiation_error(call/62).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2) :-
+ '$call_inline'(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2).
+call('$call'(A),B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2) :-
+ !,
+ '$prepare_call_clause'(K2,L2,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2),
+ '$call_with_inference_counting'('$module_call'(L2,K2)).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2) :-
+ '$prepare_call_clause'(K2,L2,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2),
+ expand_goal(call(K2),L2,call(M2)),
+ strip_subst_module(M2,L2,N2,O2),
+ '$call_with_inference_counting'('$module_call'(N2,O2)).
:-non_counted_backtracking call/63.
call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2) :-
- ( var(A) ->
- instantiation_error(call/63)
- ; A= '$call'(L2) ->
- '$prepare_call_clause'(M2,N2,L2,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2),
- '$call_with_inference_counting'('$call'(N2:M2))
- ; '$prepare_call_clause'(M2,N2,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2),
- expand_goal(call(N2:M2),N2,call(O2)),
- '$call_with_inference_counting'('$call'(O2))
- ).
+ var(A),
+ instantiation_error(call/63).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2) :-
+ '$call_inline'(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2).
+call('$call'(A),B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2) :-
+ !,
+ '$prepare_call_clause'(L2,M2,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2),
+ '$call_with_inference_counting'('$module_call'(M2,L2)).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2) :-
+ '$prepare_call_clause'(L2,M2,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2),
+ expand_goal(call(L2),M2,call(N2)),
+ strip_subst_module(N2,M2,O2,P2),
+ '$call_with_inference_counting'('$module_call'(O2,P2)).
:-non_counted_backtracking call/64.
call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2) :-
- ( var(A) ->
- instantiation_error(call/64)
- ; A= '$call'(M2) ->
- '$prepare_call_clause'(N2,O2,M2,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2),
- '$call_with_inference_counting'('$call'(O2:N2))
- ; '$prepare_call_clause'(N2,O2,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2),
- expand_goal(call(O2:N2),O2,call(P2)),
- '$call_with_inference_counting'('$call'(P2))
- ).
+ var(A),
+ instantiation_error(call/64).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2) :-
+ '$call_inline'(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2).
+call('$call'(A),B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2) :-
+ !,
+ '$prepare_call_clause'(M2,N2,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2),
+ '$call_with_inference_counting'('$module_call'(N2,M2)).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2) :-
+ '$prepare_call_clause'(M2,N2,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2),
+ expand_goal(call(M2),N2,call(O2)),
+ strip_subst_module(O2,N2,P2,Q2),
+ '$call_with_inference_counting'('$module_call'(P2,Q2)).
:-non_counted_backtracking call/65.
call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2) :-
- ( var(A) ->
- instantiation_error(call/65)
- ; A= '$call'(N2) ->
- '$prepare_call_clause'(O2,P2,N2,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2),
- '$call_with_inference_counting'('$call'(P2:O2))
- ; '$prepare_call_clause'(O2,P2,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2),
- expand_goal(call(P2:O2),P2,call(Q2)),
- '$call_with_inference_counting'('$call'(Q2))
- ).
+ var(A),
+ instantiation_error(call/65).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2) :-
+ '$call_inline'(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2).
+call('$call'(A),B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2) :-
+ !,
+ '$prepare_call_clause'(N2,O2,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2),
+ '$call_with_inference_counting'('$module_call'(O2,N2)).
+call(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2) :-
+ '$prepare_call_clause'(N2,O2,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2),
+ expand_goal(call(N2),O2,call(P2)),
+ strip_subst_module(P2,O2,Q2,R2),
+ '$call_with_inference_counting'('$module_call'(Q2,R2)).