%Source: Random examples used for debugging termination analysis for arithmetic Prolog programs %query:extend(g,f). % extend(In,Out) is true if Out is a list that contains all numbers between the minimal and the maximal number in In. extend(In, Out) :- min(In, Min), max(In, Max), range(Min, Max, Out). range(Low, High, []) :- Low > High. range(Low, High, Result) :- Low =< High, range(Low + 1, High, RecursiveResult), Temp is Low, Result = [Temp|RecursiveResult]. min([X], X). min([X|Xs], X) :- min(Xs, Y), X =< Y. min([X|Xs], Y) :- min(Xs, Y), X > Y. max([X], X). max([X|Xs], X) :- max(Xs, Y), X >= Y. max([X|Xs], Y) :- max(Xs, Y), X < Y.
content may be truncated. 'popout' for larger text window.
