% -*- Prolog -*-
%
% Partition check - do we have a stack leak?
%
% $Id: 214,v 1.1 2000/11/13 11:55:05 peteg Exp $

:- compile(partition/4).
:- list(X) ::= [] ; [X | list(X)].

main :- 
	partition([3,4,5], 4, Ls, Gs), write(Ls), nl, write(Gs), nl.

partition([X|L], Y, [X|L1], L2) :-
	X =< Y, !,
	partition(L, Y, L1, L2).
partition([X|L], Y, L1, [X|L2]) :-
	partition(L, Y, L1, L2).
partition([], _, [], []).
