Index of /cti/bench/apt_flptp

[ICO]NameLast modifiedSizeDescription
[DIR]Parent Directory  -  
[ ]APPEND331-May-2000 01:06 242  
[ ]NAIVE_REVERSE27-May-2000 18:00 232  
[ ]PERMUTATION27-May-2000 17:40 251  
Some programs of Krysztof R. Apt, From Logic Programming to Prolog, Prentice-Hall, 1997. -- Warning: still under construction! --