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
|