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

    Options:
	verbosity level 0

Relation *elt

Relation *components

Relation sort

Relation *lt

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

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

Time 12.1 secs