Context Navigation

Changeset 4105 for trunk/configs

Timestamp:

02/22/08 03:10:06 (11 months ago)

Author:

pmoura

Message:

Updated the XSB config file to use the new optimized call/N predicates found on the current XSB CVS version.

Files:

r4102	r4105
6	6	% configuration file for XSB 3.1 or later version
7	7	%
8		% last updated: ~~January 23~~, 2008
	8	% last updated: February 22, 2008
9	9	%
10	10	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
…	…
14	14	:- import numbervars/3 from num_vars.
15	15	:- import expand_atom/2 from standard.
	16	:- import call/2, call/3, call/4, call/5, call/6, call/7, call/8, call/9 from standard.
16	17
17	18
…	…
81	82
82	83	call_with_args(F, A) :-
83		Call =.. [F, A],
84		call(Call).
	84	call(F, A).
85	85
86	86	call_with_args(F, A1, A2) :-
87		Call =.. [F, A1, A2],
88		call(Call).
	87	call(F, A1, A2).
89	88
90	89	call_with_args(F, A1, A2, A3) :-
91		Call =.. [F, A1, A2, A3],
92		call(Call).
	90	call(F, A1, A2, A3).
93	91
94	92	call_with_args(F, A1, A2, A3, A4) :-
95		Call =.. [F, A1, A2, A3, A4],
96		call(Call).
	93	call(F, A1, A2, A3, A4).
97	94
98	95	call_with_args(F, A1, A2, A3, A4, A5) :-
99		Call =.. [F, A1, A2, A3, A4, A5],
100		call(Call).
	96	call(F, A1, A2, A3, A4, A5).
101	97
102	98	call_with_args(F, A1, A2, A3, A4, A5, A6) :-
103		Call =.. [F, A1, A2, A3, A4, A5, A6],
104		call(Call).
	99	call(F, A1, A2, A3, A4, A5, A6).
105	100
106	101	call_with_args(F, A1, A2, A3, A4, A5, A6, A7) :-
107		Call =.. [F, A1, A2, A3, A4, A5, A6, A7],
108		call(Call).
	102	call(F, A1, A2, A3, A4, A5, A6, A7).
109	103
110	104	call_with_args(F, A1, A2, A3, A4, A5, A6, A7, A8) :-
111		Call =.. [F, A1, A2, A3, A4, A5, A6, A7, A8],
112		call(Call).
	105	call(F, A1, A2, A3, A4, A5, A6, A7, A8).
113	106
114	107