Site Map
Download(c) 2005-2025 XLOG Technologies AG
/**
* Warranty & Liability
* To the extent permitted by applicable law and unless explicitly
* otherwise agreed upon, XLOG Technologies AG makes no warranties
* regarding the provided information. XLOG Technologies AG assumes
* no liability that any problems might be solved with the information
* provided by XLOG Technologies AG.
*
* Rights & License
* All industrial property rights regarding the information - copyright
* and patent rights in particular - are the sole property of XLOG
* Technologies AG. If the company was not the originator of some
* excerpts, XLOG Technologies AG has at least obtained the right to
* reproduce, change and translate the information.
*
* Reproduction is restricted to the whole unaltered document. Reproduction
* of the information is only allowed for non-commercial uses. Selling,
* giving away or letting of the execution of the library is prohibited.
* The library can be distributed as part of your applications and libraries
* for execution provided this comment remains unchanged.
*
* Restrictions
* Only to be distributed with programs that add significant and primary
* functionality to the library. Not to be distributed with additional
* software intended to replace any components of the library.
*
* Trademarks
* Jekejeke is a registered trademark of XLOG Technologies AG.
*/
runner_file(extend, hiord, 'XLOG 3.5 hiord').
/* numbervars(T, N, M) */
runner_pred(numbervars, 3, extend, hiord, 'XLOG 3.5.1').
runner_case(numbervars, 3, extend, hiord, 'XLOG 3.5.1, XLOG 1') :-
numbervars(f(X,X,Y), 0, N),
X == '$VAR'(0), Y == '$VAR'(1), N == 2.
runner_case(numbervars, 3, extend, hiord, 'XLOG 3.5.1, XLOG 2') :-
numbervars(f(Y,X,X), 10, N),
Y == '$VAR'(10), X == '$VAR'(11), N == 12.
runner_case(numbervars, 3, extend, hiord, 'XLOG 3.5.1, XLOG 3') :-
numbervars(f(X,g(Y,X),Y), 0, _),
X == '$VAR'(0), Y == '$VAR'(1).
runner_case(numbervars, 3, extend, hiord, 'XLOG 3.5.1, XLOG 4') :-
catch(numbervars(_, a, _), error(E, _), true),
nonvar(E), E = type_error(integer,_).
runner_case(numbervars, 3, extend, hiord, 'XLOG 3.5.1, XLOG 5') :-
X = f(X,Z,Y), numbervars(X, 0, T),
Z == '$VAR'(0), Y == '$VAR'(1), T == 2.
/* unnumbervars(S, N, T) */
runner_pred(unnumbervars, 3, extend, hiord, 'XLOG 3.5.2').
runner_case(unnumbervars, 3, extend, hiord, 'XLOG 3.5.2, XLOG 1') :-
unnumbervars(f(abc, X), 0, T),
T == f(abc, X).
runner_case(unnumbervars, 3, extend, hiord, 'XLOG 3.5.2, XLOG 2') :-
unnumbervars(f([123, '$VAR'(0)], ['$VAR'(0), 3.1415]), 0, T),
T = f([123, B], [B, 3.1415]), var(B).
runner_case(unnumbervars, 3, extend, hiord, 'XLOG 3.5.2, XLOG 3') :-
unnumbervars(f('$VAR'(0), g('$VAR'(1), '$VAR'(0)), '$VAR'(1)), 0, T),
T = f(A, g(B, A), B), var(A), var(B), A \== B.
runner_case(unnumbervars, 3, extend, hiord, 'XLOG 3.5.2, XLOG 4') :-
unnumbervars(f(X, g(Y, X), Y), 0, T),
T == f(X, g(Y, X), Y).
runner_case(unnumbervars, 3, extend, hiord, 'XLOG 3.5.2, XLOG 5') :-
unnumbervars(f(X, g('$VAR'(0), X), '$VAR'(1)), 0, T),
T = f(C, g(A, D), B),
var(A), var(B), A \== B,
C == X, D == X, X \== A, X \== B.
runner_case(unnumbervars, 3, extend, hiord, 'XLOG 3.5.2, XLOG 6') :-
X = f(X, g('$VAR'(0), X), '$VAR'(1)), unnumbervars(X, 0, T),
T = f(T, g(A, T), B),
var(A), var(B), A \== B.
/* maxvars(T, M) */
runner_pred(maxvars, 2, extend, hiord, 'XLOG 3.5.3').
runner_case(maxvars, 2, extend, hiord, 'XLOG 3.5.3, XLOG 1') :-
T = f(b, c), maxvars(T, M),
M == -1.
runner_case(maxvars, 2, extend, hiord, 'XLOG 3.5.3, XLOG 2') :-
T = f('$VAR'(0), a, '$VAR'(1)), maxvars(T, M),
M == 1.
runner_case(maxvars, 2, extend, hiord, 'XLOG 3.5.3, XLOG 3') :-
T = f('$VAR'(2000), '$VAR'(1000)), maxvars(T, M),
M == 2000.
runner_case(maxvars, 2, extend, hiord, 'XLOG 3.5.3, XLOG 4') :-
T = f('$VAR'(2000), T, '$VAR'(1000)), maxvars(T, M),
M == 2000.
runner_case(maxvars, 2, extend, hiord, 'XLOG 3.5.3, XLOG 5') :-
T = f(T), maxvars(T, M),
M == -1.
/* call(C, X, Y) */
makepair(X, Y, X-Y).
runner_pred(call, 3, extend, hiord, 'Corr.2 8.15.4.4').
runner_case(call, 3, extend, hiord, 'Corr.2 8.15.4.4, ISO 1') :-
call(integer, 3).
runner_case(call, 3, extend, hiord, 'Corr.2 8.15.4.4, ISO 2') :-
call(functor(F, c), 0),
F == c.
runner_case(call, 3, extend, hiord, 'Corr.2 8.15.4.4, ISO 4') :-
findall(X, call(;, X=1, X=2), L),
L == [1,2].
runner_case(call, 3, extend, hiord, 'Corr.2 8.15.4.4, XLOG 1') :-
call(call(call(makepair,1),2),X),
X == 1-2.
runner_case(call, 3, extend, hiord, 'Corr.2 8.15.4.4, XLOG 2') :-
catch(call(',', integer(1), 3), error(E,_), true),
E == type_error(callable, 3).
/* free_variables(Q, L, G) */
runner_pred(free_variables,3, extend, hiord, 'ISO 7.1.1.4').
runner_case(free_variables,3, extend, hiord, 'ISO 7.1.1.4, ISO 1') :-
free_variables(f(Z)^(X+Y+Z), L, G),
L == [X, Y], G == X+Y+Z.
runner_case(free_variables,3, extend, hiord, 'ISO 7.1.1.4, ISO 2') :-
free_variables(A^Z^(A+X+Y+Z), L, G),
L == [X, Y], G == A+X+Y+Z.
runner_case(free_variables,3, extend, hiord, 'ISO 7.1.1.4, ISO 3') :-
X = f(g(A,X),B), free_variables(X, L, G),
L == [A, B], G == X.
runner_case(free_variables,3, extend, hiord, 'ISO 7.1.1.4, ISO 4') :-
X = f(g(A,X),B), Y = h(Y,B), free_variables(Y^X, L, G),
L == [A], G == X.
/* =>(X, G, Y) */
lloyd((X,Y) => Y is X+1).
runner_pred(=>, 2, extend, hiord, 'XLOG 3.5.4').
runner_case(=>, 2, extend, hiord, 'XLOG 3.5.4, XLOG 1') :-
call((X,Y) => Y is X+1, 1, Z),
Z == 2.
runner_case(=>, 2, extend, hiord, 'XLOG 3.5.4, XLOG 2') :-
\+ call(X => Y => Y is X+1, 1, _).
runner_case(=>, 2, extend, hiord, 'XLOG 3.5.4, XLOG 3') :-
call(X => X = [1,D,3], Y),
Y == [1,D,3].
runner_case(=>, 2, extend, hiord, 'XLOG 3.5.4, XLOG 4') :-
call(X => D^(X = [1,D,3]), Y),
Y = [1,E,3], E \== D.
runner_case(=>, 2, extend, hiord, 'XLOG 3.5.4, XLOG 5') :-
lloyd(C),
\+ C = (_ => _) .
runner_case(=>, 2, extend, hiord, 'XLOG 3.5.4, XLOG 6') :-
lloyd(C), call(C, 1, Z),
Z == 2.
runner_case(=>, 2, extend, hiord, 'XLOG 3.5.4, XLOG 7') :-
lloyd(C), \+ call(C, 1, _, _).