Index of /cti/bench/apt_flptp
Name
Last modified
Size
Description
Parent Directory
-
NAIVE_REVERSE
2000-05-27 18:00
232
APPEND3
2000-05-31 01:06
242
PERMUTATION
2000-05-27 17:40
251
Some programs of Krysztof R. Apt, From Logic Programming to Prolog, Prentice-Hall, 1997. -- Warning: still under construction! --