Keith A. Pray - Professional and Academic Site
About Me
·
·
·
LinkedIn Profile Facebook Profile GoodReads Profile
Professional
Academic
Teaching
                                          
Printer Friendly Version
Experiments

Intro ] ackermann-long ] ackermann-short ]
crx-long ] crx-short ] member-long ]
member-short ] ncm-long ] ncm-short ]
qs44-long ] [ qs44-short ] sort-long ]
sort-short ]

data ] [ Up: Report ]

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

by: Keith A. Pray
Last Modified: July 4, 2004 9:03 AM
© 2004 - 1975 Keith A. Pray.
All rights reserved.

Current Theme: 

Kapowee Hosted | Kapow Generated in 0.008 second | XHTML | CSS