FOIL 6.4   [January 1996]
--------

    Options:
	verbosity level 0

Relation *elt

Relation *append

Relation *components

Relation sort

Relation *partition

----------
sort:

sort([],[]).
sort(A,B) :- components(A,C,D), partition(C,D,E,F), sort(E,G), sort(F,H), components(I,C,H), append(G,I,B).

Time 18.2 secs