rwxr-xr-x 7010/7004 0 Aug 21 10:13 1990 prolog/library/ rw-r--r-- 7010/7004 6139 Dec 20 07:20 1989 prolog/library/advice.pl rw-r--r-- 7010/7004 5066 Dec 20 07:20 1989 prolog/library/applic.pl rw-r--r-- 7010/7004 8093 Dec 20 07:20 1989 prolog/library/arc3.pl rw-r--r-- 7010/7004 251 Dec 20 07:20 1989 prolog/library/arith.ops rw-r--r-- 7010/7004 8900 Dec 20 07:20 1989 prolog/library/arith.pl rw-r--r-- 7010/7004 5801 Dec 20 07:20 1989 prolog/library/arrays.fern rw-r--r-- 7010/7004 3005 Dec 20 07:20 1989 prolog/library/arrays.util rw-r--r-- 7010/7004 5435 Dec 20 07:20 1989 prolog/library/ask.pl rw-r--r-- 7010/7004 2080 Dec 20 07:20 1989 prolog/library/assoc.pl rwxr-sr-x 7010/7004 0 Dec 20 07:23 1989 prolog/library/benchmarks/ rwxrwsr-x 7010/7004 0 Dec 20 07:20 1989 prolog/library/benchmarks/tektronix/ rw-r--r-- 7010/7004 882 Dec 20 07:20 1989 prolog/library/benchmarks/tektronix/POSTER rw-r--r-- 7010/7004 2476 Dec 20 07:20 1989 prolog/library/benchmarks/tektronix/README rwxr-xr-x 7010/7004 223 Dec 20 07:20 1989 prolog/library/benchmarks/tektronix/benchrun rw-r--r-- 7010/7004 774 Dec 20 07:20 1989 prolog/library/benchmarks/tektronix/bintree rw-r--r-- 7010/7004 29 Dec 20 07:20 1989 prolog/library/benchmarks/tektronix/bintree.drv rw-r--r-- 7010/7004 362 Dec 20 07:20 1989 prolog/library/benchmarks/tektronix/bintree.ot rw-r--r-- 7010/7004 22 Dec 20 07:20 1989 prolog/library/benchmarks/tektronix/bltsort.drv rw-r--r-- 7010/7004 349 Dec 20 07:20 1989 prolog/library/benchmarks/tektronix/bltsort.ot rw-r--r-- 7010/7004 211 Dec 20 07:20 1989 prolog/library/benchmarks/tektronix/cd rw-r--r-- 7010/7004 19 Dec 20 07:20 1989 prolog/library/benchmarks/tektronix/cd.drv rw-r--r-- 7010/7004 339 Dec 20 07:20 1989 prolog/library/benchmarks/tektronix/cd.ot rw-r--r-- 7010/7004 56049 Dec 20 07:20 1989 prolog/library/benchmarks/tektronix/dsearch rw-r--r-- 7010/7004 29 Dec 20 07:20 1989 prolog/library/benchmarks/tektronix/dsearch.drv rw-r--r-- 7010/7004 371 Dec 20 07:20 1989 prolog/library/benchmarks/tektronix/dsearch.ot rwxr-xr-x 7010/7004 125 Dec 20 07:20 1989 prolog/library/benchmarks/tektronix/findtext rw-r--r-- 7010/7004 321 Dec 20 07:20 1989 prolog/library/benchmarks/tektronix/genlist rw-r--r-- 7010/7004 29 Dec 20 07:20 1989 prolog/library/benchmarks/tektronix/genlist.drv rw-r--r-- 7010/7004 358 Dec 20 07:20 1989 prolog/library/benchmarks/tektronix/genlist.ot rwxr-xr-x 7010/7004 484 Dec 20 07:20 1989 prolog/library/benchmarks/tektronix/genrun rw-r--r-- 7010/7004 233 Dec 20 07:20 1989 prolog/library/benchmarks/tektronix/hanoi rw-r--r-- 7010/7004 25 Dec 20 07:20 1989 prolog/library/benchmarks/tektronix/hanoi.drv rw-r--r-- 7010/7004 328 Dec 20 07:20 1989 prolog/library/benchmarks/tektronix/hanoi.ot rw-r--r-- 7010/7004 517 Dec 20 07:20 1989 prolog/library/benchmarks/tektronix/loop rw-r--r-- 7010/7004 23 Dec 20 07:20 1989 prolog/library/benchmarks/tektronix/loop.drv rw-r--r-- 7010/7004 350 Dec 20 07:20 1989 prolog/library/benchmarks/tektronix/loop.ot rw-r--r-- 7010/7004 322 Dec 20 07:20 1989 prolog/library/benchmarks/tektronix/memfill rw-r--r-- 7010/7004 29 Dec 20 07:20 1989 prolog/library/benchmarks/tektronix/memfill.drv rw-r--r-- 7010/7004 377 Dec 20 07:20 1989 prolog/library/benchmarks/tektronix/memfill.ot rw-r--r-- 7010/7004 290 Dec 20 07:20 1989 prolog/library/benchmarks/tektronix/nairev rw-r--r-- 7010/7004 27 Dec 20 07:20 1989 prolog/library/benchmarks/tektronix/nairev.drv rw-r--r-- 7010/7004 358 Dec 20 07:20 1989 prolog/library/benchmarks/tektronix/nairev.ot rw-r--r-- 7010/7004 6000 Dec 20 07:20 1989 prolog/library/benchmarks/tektronix/numdata rw-r--r-- 7010/7004 779 Dec 20 07:20 1989 prolog/library/benchmarks/tektronix/polyeval rw-r--r-- 7010/7004 31 Dec 20 07:20 1989 prolog/library/benchmarks/tektronix/polyeval.drv rw-r--r-- 7010/7004 348 Dec 20 07:20 1989 prolog/library/benchmarks/tektronix/polyeval.ot rw-r--r-- 7010/7004 1137 Dec 20 07:20 1989 prolog/library/benchmarks/tektronix/primes rw-r--r-- 7010/7004 27 Dec 20 07:20 1989 prolog/library/benchmarks/tektronix/primes.drv rw-r--r-- 7010/7004 348 Dec 20 07:20 1989 prolog/library/benchmarks/tektronix/primes.ot rw-r--r-- 7010/7004 5095 Dec 20 07:20 1989 prolog/library/benchmarks/tektronix/results.ben rw-r--r-- 7010/7004 321 Dec 20 07:20 1989 prolog/library/benchmarks/tektronix/rnum rw-r--r-- 7010/7004 23 Dec 20 07:20 1989 prolog/library/benchmarks/tektronix/rnum.drv rw-r--r-- 7010/7004 379 Dec 20 07:20 1989 prolog/library/benchmarks/tektronix/rnum.ot rw-r--r-- 7010/7004 318 Dec 20 07:20 1989 prolog/library/benchmarks/tektronix/snairev rw-r--r-- 7010/7004 31 Dec 20 07:20 1989 prolog/library/benchmarks/tektronix/snairev.drv rw-r--r-- 7010/7004 754 Dec 20 07:20 1989 prolog/library/benchmarks/tektronix/sort rw-r--r-- 7010/7004 23 Dec 20 07:20 1989 prolog/library/benchmarks/tektronix/sort.drv rw-r--r-- 7010/7004 373 Dec 20 07:20 1989 prolog/library/benchmarks/tektronix/sort.ot rw-r--r-- 7010/7004 934 Dec 20 07:20 1989 prolog/library/benchmarks/tektronix/testbintree rw-r--r-- 7010/7004 948 Dec 20 07:20 1989 prolog/library/benchmarks/tektronix/testbltsort rw-r--r-- 7010/7004 839 Dec 20 07:20 1989 prolog/library/benchmarks/tektronix/testcd rw-r--r-- 7010/7004 925 Dec 20 07:20 1989 prolog/library/benchmarks/tektronix/testdsearch rw-r--r-- 7010/7004 913 Dec 20 07:20 1989 prolog/library/benchmarks/tektronix/testgenlist rw-r--r-- 7010/7004 868 Dec 20 07:20 1989 prolog/library/benchmarks/tektronix/testhanoi rw-r--r-- 7010/7004 861 Dec 20 07:20 1989 prolog/library/benchmarks/tektronix/testloop rw-r--r-- 7010/7004 924 Dec 20 07:20 1989 prolog/library/benchmarks/tektronix/testmemfill rw-r--r-- 7010/7004 873 Dec 20 07:20 1989 prolog/library/benchmarks/tektronix/testnairev rw-r--r-- 7010/7004 878 Dec 20 07:20 1989 prolog/library/benchmarks/tektronix/testpolyeval rw-r--r-- 7010/7004 897 Dec 20 07:20 1989 prolog/library/benchmarks/tektronix/testprimes rw-r--r-- 7010/7004 886 Dec 20 07:20 1989 prolog/library/benchmarks/tektronix/testrnum rw-r--r-- 7010/7004 869 Dec 20 07:20 1989 prolog/library/benchmarks/tektronix/testsort rw-r--r-- 7010/7004 884 Dec 20 07:20 1989 prolog/library/benchmarks/tektronix/testwnum rw-r--r-- 7010/7004 389 Dec 20 07:20 1989 prolog/library/benchmarks/tektronix/wnum rw-r--r-- 7010/7004 23 Dec 20 07:20 1989 prolog/library/benchmarks/tektronix/wnum.drv rw-r--r-- 7010/7004 385 Dec 20 07:20 1989 prolog/library/benchmarks/tektronix/wnum.ot rwxr-s--- 7010/7004 0 Dec 20 07:20 1989 prolog/library/benchmarks/ECRC/ rw-r----- 7010/7004 5280 Dec 20 07:20 1989 prolog/library/benchmarks/ECRC/bench_1_1.pl rw-r----- 7010/7004 11904 Dec 20 07:20 1989 prolog/library/benchmarks/ECRC/bench_2.pl rw-r----- 7010/7004 5995 Dec 20 07:20 1989 prolog/library/benchmarks/ECRC/bench_1_2.pl rw-r----- 7010/7004 2292 Dec 20 07:20 1989 prolog/library/benchmarks/ECRC/bench_1_3.pl rw-r----- 7010/7004 1664 Dec 20 07:20 1989 prolog/library/benchmarks/ECRC/bench_1_4.pl rw-r----- 7010/7004 17781 Dec 20 07:20 1989 prolog/library/benchmarks/ECRC/bench_1_5.pl rw-r----- 7010/7004 1829 Dec 20 07:20 1989 prolog/library/benchmarks/ECRC/bench_1_6.pl rw-r----- 7010/7004 1405 Dec 20 07:20 1989 prolog/library/benchmarks/ECRC/bench_1_7.pl rw-r----- 7010/7004 7455 Dec 20 07:20 1989 prolog/library/benchmarks/ECRC/bench_2.qp rw-r----- 7010/7004 1967 Dec 20 07:20 1989 prolog/library/benchmarks/ECRC/bench_1_2.qp rw-r----- 7010/7004 286 Dec 20 07:20 1989 prolog/library/benchmarks/ECRC/bench_1_1.qp rw-r----- 7010/7004 512 Dec 20 07:20 1989 prolog/library/benchmarks/ECRC/bench_1_3.qp rw-r----- 7010/7004 1069 Dec 20 07:20 1989 prolog/library/benchmarks/ECRC/bench_1_5.qp rw-r----- 7010/7004 288 Dec 20 07:20 1989 prolog/library/benchmarks/ECRC/bench_1_4.qp rw-r----- 7010/7004 469 Dec 20 07:20 1989 prolog/library/benchmarks/ECRC/bench_1_6.qp rw-r----- 7010/7004 288 Dec 20 07:20 1989 prolog/library/benchmarks/ECRC/bench_1_7.qp rw-r----- 7010/7004 40 Dec 20 07:20 1989 prolog/library/benchmarks/ECRC/bench_1_1.i rw-r--r-- 7010/7004 370 Dec 20 07:20 1989 prolog/library/benchmarks/ECRC/bench_1_1.sp rw-r----- 7010/7004 125 Dec 20 07:20 1989 prolog/library/benchmarks/ECRC/bench_1_2.i rw-r----- 7010/7004 54 Dec 20 07:20 1989 prolog/library/benchmarks/ECRC/bench_1_3.i rw-r----- 7010/7004 38 Dec 20 07:20 1989 prolog/library/benchmarks/ECRC/bench_1_4.i rw-r----- 7010/7004 140 Dec 20 07:20 1989 prolog/library/benchmarks/ECRC/bench_1_5.i rw-r----- 7010/7004 38 Dec 20 07:20 1989 prolog/library/benchmarks/ECRC/bench_1_6.i rw-r----- 7010/7004 40 Dec 20 07:20 1989 prolog/library/benchmarks/ECRC/bench_1_7.i rw-r----- 7010/7004 542 Dec 20 07:20 1989 prolog/library/benchmarks/ECRC/bench_2.i rw-r--r-- 7010/7004 852 Dec 20 07:20 1989 prolog/library/benchmarks/ECRC/bench_1_2.sp rw-r--r-- 7010/7004 484 Dec 20 07:20 1989 prolog/library/benchmarks/ECRC/bench_1_3.sp rw-r--r-- 7010/7004 368 Dec 20 07:20 1989 prolog/library/benchmarks/ECRC/bench_1_4.sp rw-r--r-- 7010/7004 754 Dec 20 07:20 1989 prolog/library/benchmarks/ECRC/bench_1_5.sp rw-r--r-- 7010/7004 368 Dec 20 07:20 1989 prolog/library/benchmarks/ECRC/bench_1_6.sp rw-r--r-- 7010/7004 368 Dec 20 07:20 1989 prolog/library/benchmarks/ECRC/bench_1_7.sp rw-r--r-- 7010/7004 6938 Dec 20 07:20 1989 prolog/library/benchmarks/ECRC/bench_2.sp rwxrws--x 7010/7004 0 Dec 20 07:20 1989 prolog/library/benchmarks/lisp_prolog_contest/ rw-r----- 7010/7004 2042 Dec 20 07:20 1989 prolog/library/benchmarks/lisp_prolog_contest/ANNOUNCE.TXT rw-r----- 7010/7004 2252 Dec 20 07:20 1989 prolog/library/benchmarks/lisp_prolog_contest/ASCII.TXT rw-r----- 7010/7004 15051 Dec 20 07:20 1989 prolog/library/benchmarks/lisp_prolog_contest/BNCH1.PL rw-r----- 7010/7004 50057 Dec 20 07:20 1989 prolog/library/benchmarks/lisp_prolog_contest/BNCH10.PL rw-r----- 7010/7004 1530 Dec 20 07:20 1989 prolog/library/benchmarks/lisp_prolog_contest/BNCH11.PL rw-r----- 7010/7004 11727 Dec 20 07:20 1989 prolog/library/benchmarks/lisp_prolog_contest/BNCH2.PL rw-r----- 7010/7004 1839 Dec 20 07:20 1989 prolog/library/benchmarks/lisp_prolog_contest/BNCH3.PL rw-r----- 7010/7004 2118 Dec 20 07:20 1989 prolog/library/benchmarks/lisp_prolog_contest/BNCH4.PL rw-r----- 7010/7004 2720 Dec 20 07:20 1989 prolog/library/benchmarks/lisp_prolog_contest/BNCH5.PL rw-r----- 7010/7004 3725 Dec 20 07:20 1989 prolog/library/benchmarks/lisp_prolog_contest/BNCH6.PL rw-r----- 7010/7004 5323 Dec 20 07:20 1989 prolog/library/benchmarks/lisp_prolog_contest/BNCH7.PL rw-r----- 7010/7004 2534 Dec 20 07:20 1989 prolog/library/benchmarks/lisp_prolog_contest/BNCH8.PL rw-r----- 7010/7004 3228 Dec 20 07:20 1989 prolog/library/benchmarks/lisp_prolog_contest/BNCH9.PL rw-r----- 7010/7004 3156 Dec 20 07:20 1989 prolog/library/benchmarks/lisp_prolog_contest/PPROFL.TXT rw-r----- 7010/7004 924 Dec 20 07:20 1989 prolog/library/benchmarks/lisp_prolog_contest/PREADME.TXT rw-r----- 7010/7004 4761 Dec 20 07:20 1989 prolog/library/benchmarks/lisp_prolog_contest/PRESULT.TXT rw-r----- 7010/7004 4386 Dec 20 07:20 1989 prolog/library/benchmarks/lisp_prolog_contest/BNCH1.LSP rw-r----- 7010/7004 8528 Dec 20 07:20 1989 prolog/library/benchmarks/lisp_prolog_contest/BNCH10.LSP rw-r----- 7010/7004 4893 Dec 20 07:20 1989 prolog/library/benchmarks/lisp_prolog_contest/BNCH11.LSP rw-r----- 7010/7004 22061 Dec 20 07:20 1989 prolog/library/benchmarks/lisp_prolog_contest/BNCH12.LSP rw-r----- 7010/7004 16089 Dec 20 07:20 1989 prolog/library/benchmarks/lisp_prolog_contest/BNCH2.LSP rw-r----- 7010/7004 2278 Dec 20 07:20 1989 prolog/library/benchmarks/lisp_prolog_contest/BNCH3.LSP rw-r----- 7010/7004 3818 Dec 20 07:20 1989 prolog/library/benchmarks/lisp_prolog_contest/BNCH4.LSP rw-r----- 7010/7004 2800 Dec 20 07:20 1989 prolog/library/benchmarks/lisp_prolog_contest/BNCH5.LSP rw-r----- 7010/7004 1241 Dec 20 07:20 1989 prolog/library/benchmarks/lisp_prolog_contest/BNCH6.LSP rw-r----- 7010/7004 4998 Dec 20 07:20 1989 prolog/library/benchmarks/lisp_prolog_contest/BNCH7.LSP rw-r----- 7010/7004 9117 Dec 20 07:20 1989 prolog/library/benchmarks/lisp_prolog_contest/BNCH8.LSP rw-r----- 7010/7004 22344 Dec 20 07:20 1989 prolog/library/benchmarks/lisp_prolog_contest/BNCH9.LSP rw-r----- 7010/7004 3075 Dec 20 07:20 1989 prolog/library/benchmarks/lisp_prolog_contest/LPROFL.TXT rw-r----- 7010/7004 998 Dec 20 07:20 1989 prolog/library/benchmarks/lisp_prolog_contest/LREADME.TXT rw-r----- 7010/7004 3563 Dec 20 07:20 1989 prolog/library/benchmarks/lisp_prolog_contest/LRESULT.TXT rw-r----- 7010/7004 2530 Dec 20 07:20 1989 prolog/library/benchmarks/lisp_prolog_contest/PROLOG.PRL rw-r----- 7010/7004 3773 Dec 20 07:20 1989 prolog/library/benchmarks/lisp_prolog_contest/OUTPUT.DAT.47 rw-r--r-- 7010/7004 1387 Dec 20 07:20 1989 prolog/library/bundy.figures rw-r--r-- 7010/7004 24288 Dec 20 07:20 1989 prolog/library/bundy.stories rw-r--r-- 7010/7004 16851 Dec 20 07:20 1989 prolog/library/clause.pl rw-r--r-- 7010/7004 2585 Dec 20 07:20 1989 prolog/library/ctypes.pl rw-r--r-- 7010/7004 36316 Dec 20 07:20 1989 prolog/library/cugini_utilities.pl rw-r--r-- 7010/7004 3335 Dec 20 07:20 1989 prolog/library/dLink.pl rw-r--r-- 7010/7004 7322 Dec 20 07:20 1989 prolog/library/dcg.pl rw-r--r-- 7010/7004 3612 Dec 20 07:20 1989 prolog/library/dcsg.exp rw-r--r-- 7010/7004 297 Dec 20 07:21 1989 prolog/library/dcsg.hlp rw-r--r-- 7010/7004 11692 Dec 20 07:21 1989 prolog/library/dcsg.pl rwxrwsr-x 7010/7004 0 Dec 20 07:23 1989 prolog/library/debug/ rw-r--r-- 7010/7004 6024 Dec 20 07:20 1989 prolog/library/debug/examples rw-r--r-- 7010/7004 1165 Dec 20 07:20 1989 prolog/library/debug/README rw-r--r-- 7010/7004 429 Dec 20 07:20 1989 prolog/library/debug/fp rw-r--r-- 7010/7004 1293 Dec 20 07:20 1989 prolog/library/debug/newfp rw-r--r-- 7010/7004 185 Dec 20 07:20 1989 prolog/library/debug/ip rw-r--r-- 7010/7004 912 Dec 20 07:20 1989 prolog/library/debug/dcgref rw-r--r-- 7010/7004 5860 Dec 20 07:20 1989 prolog/library/debug/dsutil rw-r--r-- 7010/7004 1113 Dec 20 07:20 1989 prolog/library/debug/mis rw-r--r-- 7010/7004 1746 Dec 20 07:20 1989 prolog/library/debug/misrg rw-r--r-- 7010/7004 1024 Dec 20 07:20 1989 prolog/library/debug/missrc rw-r--r-- 7010/7004 1356 Dec 20 07:20 1989 prolog/library/debug/pds5 rw-r--r-- 7010/7004 2642 Dec 20 07:20 1989 prolog/library/debug/pds6 rw-r--r-- 7010/7004 4721 Dec 20 07:20 1989 prolog/library/debug/pdsdb rw-r--r-- 7010/7004 3645 Dec 20 07:20 1989 prolog/library/debug/pdsdc rw-r--r-- 7010/7004 784 Dec 20 07:20 1989 prolog/library/debug/pdsini rw-r--r-- 7010/7004 3265 Dec 20 07:20 1989 prolog/library/debug/pdsref rw-r--r-- 7010/7004 818 Dec 20 07:20 1989 prolog/library/debug/pdsrg rw-r--r-- 7010/7004 266 Dec 20 07:20 1989 prolog/library/debug/solve rw-r--r-- 7010/7004 2875 Dec 20 07:20 1989 prolog/library/debug/type rw-r--r-- 7010/7004 115 Dec 20 07:20 1989 prolog/library/debug/xref.def rw-r--r-- 7010/7004 346 Dec 20 07:20 1989 prolog/library/debug/qsort rw-r--r-- 7010/7004 713 Dec 20 07:20 1989 prolog/library/debug/qsort2 rw-r--r-- 7010/7004 42173 Dec 20 07:20 1989 prolog/library/debug/infer-isort.scenario rw-r--r-- 7010/7004 4830 Dec 20 07:20 1989 prolog/library/debug/mis.scenario rw-r--r-- 7010/7004 3616 Dec 20 07:20 1989 prolog/library/debug/pds5.scenario rw-r--r-- 7010/7004 9973 Dec 20 07:20 1989 prolog/library/debug/pds6.scenario rw-r--r-- 7010/7004 1181 Dec 20 07:20 1989 prolog/library/debug/cfree rw-r--r-- 7010/7004 1614 Dec 20 07:20 1989 prolog/library/debug/cfree.bug rw-r--r-- 7010/7004 1756 Dec 20 07:21 1989 prolog/library/dec10.pl rw-r--r-- 7010/7004 1866 Dec 20 07:21 1989 prolog/library/depth.pl rwxrwsr-x 7010/7004 0 Dec 20 07:23 1989 prolog/library/fcp/ rw-r--r-- 7010/7004 655 Dec 20 07:20 1989 prolog/library/fcp/letter rw-r--r-- 7010/7004 2589 Dec 20 07:20 1989 prolog/library/fcp/intro rw-r--r-- 7010/7004 751 Dec 20 07:20 1989 prolog/library/fcp/lfcpc rw-r--r-- 7010/7004 4684 Dec 20 07:20 1989 prolog/library/fcp/compile.pl rw-r--r-- 7010/7004 1910 Dec 20 07:20 1989 prolog/library/fcp/kernel.pl rw-r--r-- 7010/7004 4367 Dec 20 07:20 1989 prolog/library/fcp/runtime.pl rw-r--r-- 7010/7004 7518 Dec 20 07:20 1989 prolog/library/fcp/toplevel.pl rw-r--r-- 7010/7004 3828 Dec 20 07:20 1989 prolog/library/fcp/trace.pl rw-r--r-- 7010/7004 2092 Dec 20 07:20 1989 prolog/library/fcp/unify.pl rw-r--r-- 7010/7004 2577 Dec 20 07:20 1989 prolog/library/fcp/util.pl rw-r--r-- 7010/7004 3038 Dec 20 07:21 1989 prolog/library/expand.pl rw-r--r-- 7010/7004 3333 Dec 20 07:21 1989 prolog/library/feach.pl rw-r--r-- 7010/7004 2893 Dec 20 07:21 1989 prolog/library/files.pl rw-r--r-- 7010/7004 1761 Dec 20 07:21 1989 prolog/library/flagro.pl rw-r--r-- 7010/7004 12650 Dec 20 07:21 1989 prolog/library/gconsult.pl rw-r--r-- 7010/7004 1455 Dec 20 07:21 1989 prolog/library/gensym.pl rw-r--r-- 7010/7004 1340 Dec 20 07:21 1989 prolog/library/getfil.pl rw-r--r-- 7010/7004 9995 Dec 20 07:21 1989 prolog/library/graphs.pl rw-r--r-- 7010/7004 5949 Dec 20 07:21 1989 prolog/library/hackers.arpa rw-r--r-- 7010/7004 8078 Dec 20 07:21 1989 prolog/library/heaps.pl rw-r--r-- 7010/7004 721 Dec 20 07:21 1989 prolog/library/imisce.pl rw-r--r-- 7010/7004 1077 Dec 20 07:21 1989 prolog/library/invoca.pl rw-r--r-- 7010/7004 11454 Dec 20 07:21 1989 prolog/library/ixref.pl rw-r--r-- 7010/7004 107036 Dec 20 07:21 1989 prolog/library/lecot.bib rw-r--r-- 7010/7004 48057 Dec 20 07:20 1989 prolog/library/list_of_prologs rw-r--r-- 7010/7004 1982 Dec 20 07:21 1989 prolog/library/listro.pl rw-r--r-- 7010/7004 8844 Dec 20 07:21 1989 prolog/library/medic.pl rw-r--r-- 7010/7004 2021 Dec 20 07:21 1989 prolog/library/merge_sort.pl rw-r--r-- 7010/7004 4074 Dec 20 07:21 1989 prolog/library/metutl.pl rw-r--r-- 7010/7004 3969 Dec 20 07:21 1989 prolog/library/multil.pl rw-r--r-- 7010/7004 1363 Dec 20 07:21 1989 prolog/library/mutil.pl rw-r--r-- 7010/7004 201055 Dec 20 07:21 1989 prolog/library/newprolstd rw-r--r-- 7010/7004 1126 Dec 20 07:21 1989 prolog/library/not.note rw-r--r-- 7010/7004 3984 Dec 20 07:21 1989 prolog/library/not.pl rw-r--r-- 7010/7004 4116 Dec 20 07:21 1989 prolog/library/occur.pl rw-r--r-- 7010/7004 29066 Dec 20 07:21 1989 prolog/library/okeefe.tpl rw-r--r-- 7010/7004 7134 Dec 20 07:21 1989 prolog/library/ordset.pl rw-r--r-- 7010/7004 18449 Dec 20 07:21 1989 prolog/library/parser.pl rw-r--r-- 7010/7004 27916 Dec 20 07:21 1989 prolog/library/pereira.bib rw-r--r-- 7010/7004 1154 Dec 20 07:21 1989 prolog/library/porstr.pl rw-r--r-- 7010/7004 6894 Dec 20 07:21 1989 prolog/library/pp.hlp rw-r----- 7010/7004 191892 Dec 20 07:20 1989 prolog/library/prolog.doc rw-r--r-- 7010/7004 3731 Dec 20 07:21 1989 prolog/library/prolog.library rw-r--r-- 7010/7004 6108 Dec 20 07:20 1989 prolog/library/prolog.typ rw-r--r-- 7010/7004 5588 Dec 20 07:21 1989 prolog/library/queues.pl rw-r--r-- 7010/7004 2349 Dec 20 07:21 1989 prolog/library/random.pl rw-r--r-- 7010/7004 2384 Dec 20 07:21 1989 prolog/library/random2.pl rw-r--r-- 7010/7004 8469 Dec 20 07:21 1989 prolog/library/rdsent.pl rw-r--r-- 7010/7004 12964 Dec 20 07:21 1989 prolog/library/rdtok.pl rw-r--r-- 7010/7004 11539 Dec 20 07:21 1989 prolog/library/read.pl rw-r--r-- 7010/7004 8399 Dec 20 07:21 1989 prolog/library/read_sent.pl rw-r--r-- 7010/7004 2357 Dec 20 07:21 1989 prolog/library/readin.pl rw-r--r-- 7010/7004 1272 Dec 20 07:21 1989 prolog/library/recon.pl rw-r--r-- 7010/7004 973 Dec 20 07:21 1989 prolog/library/samsort.pl rw-r--r-- 7010/7004 8590 Dec 20 07:21 1989 prolog/library/setof.pl rw-r--r-- 7010/7004 8291 Dec 20 07:21 1989 prolog/library/setutil.pl rwxrwsr-x 7010/7004 0 Dec 20 07:23 1989 prolog/library/shopper/ rw-r--r-- 7010/7004 29 Dec 20 07:20 1989 prolog/library/shopper/script rw-r--r-- 7010/7004 6580 Dec 20 07:20 1989 prolog/library/shopper/shop.q rw-r--r-- 7010/7004 6580 Dec 20 07:20 1989 prolog/library/shopper/shop0.q rw-r--r-- 7010/7004 6583 Dec 20 07:20 1989 prolog/library/shopper/shop1.q rw-r--r-- 7010/7004 2163 Dec 20 07:21 1989 prolog/library/sorts.pl rw-r--r-- 7010/7004 7809 Dec 20 07:20 1989 prolog/library/splay.pl rw-r--r-- 7010/7004 7761 Dec 20 07:21 1989 prolog/library/struct.pl rw-r--r-- 7010/7004 1490 Dec 20 07:21 1989 prolog/library/test.pl r--r--r-- 7010/7004 8571 Dec 20 07:21 1989 prolog/library/su_score.dir rw-r--r-- 7010/7004 4183 Dec 20 07:21 1989 prolog/library/system.pl rw-r--r-- 7010/7004 12991 Dec 20 07:21 1989 prolog/library/tidy.pl rw-r--r-- 7010/7004 861 Dec 20 07:21 1989 prolog/library/timing.pl rw-r--r-- 7010/7004 12538 Dec 20 07:21 1989 prolog/library/toplev.pl rw-r--r-- 7010/7004 29667 Dec 20 07:21 1989 prolog/library/trace.pl rw-r--r-- 7010/7004 4800 Dec 20 07:21 1989 prolog/library/tree.pl rw-r--r-- 7010/7004 6039 Dec 20 07:21 1989 prolog/library/tree.utils rw-r--r-- 7010/7004 13629 Dec 20 07:20 1989 prolog/library/typecheck.pl rw-r--r-- 7010/7004 2957 Dec 20 07:20 1989 prolog/library/util.hlp rw-r--r-- 7010/7004 12957 Dec 20 07:21 1989 prolog/library/write.pl rw-r--r-- 7010/7004 4374 Dec 20 07:21 1989 prolog/library/writef.hlp rw-r--r-- 7010/7004 3441 May 28 06:15 1990 prolog/library/interp.pl rwxrwxrwx 0/0 0 Aug 21 10:13 1990 prolog/library/gmlib.pl symbolic link to /home/bast/claes/ispX/gmlib.pl