rwxr-xr-x 4273/0      0 Jan  6 21:27 1994 lisp_prolog_contest/
rw-r----- 4273/0   2042 Dec 20 07:20 1989 lisp_prolog_contest/announce.txt
rw-r----- 4273/0   2252 Dec 20 07:20 1989 lisp_prolog_contest/ascii.txt
rwxr-xr-x 4273/0      0 Jan  6 21:27 1994 lisp_prolog_contest/prolog/
rw-r----- 4273/0  15051 Dec 20 07:20 1989 lisp_prolog_contest/prolog/bnch1.pl
rw-r----- 4273/0  50057 Dec 20 07:20 1989 lisp_prolog_contest/prolog/bnch10.pl
rw-r----- 4273/0   1530 Dec 20 07:20 1989 lisp_prolog_contest/prolog/bnch11.pl
rw-r----- 4273/0  11727 Dec 20 07:20 1989 lisp_prolog_contest/prolog/bnch2.pl
rw-r----- 4273/0   1839 Dec 20 07:20 1989 lisp_prolog_contest/prolog/bnch3.pl
rw-r----- 4273/0   2118 Dec 20 07:20 1989 lisp_prolog_contest/prolog/bnch4.pl
rw-r----- 4273/0   2720 Dec 20 07:20 1989 lisp_prolog_contest/prolog/bnch5.pl
rw-r----- 4273/0   3725 Dec 20 07:20 1989 lisp_prolog_contest/prolog/bnch6.pl
rw-r----- 4273/0   5323 Dec 20 07:20 1989 lisp_prolog_contest/prolog/bnch7.pl
rw-r----- 4273/0   2534 Dec 20 07:20 1989 lisp_prolog_contest/prolog/bnch8.pl
rw-r----- 4273/0   3228 Dec 20 07:20 1989 lisp_prolog_contest/prolog/bnch9.pl
rw-r----- 4273/0   3156 Dec 20 07:20 1989 lisp_prolog_contest/prolog/pprofl.txt
rw-r----- 4273/0    924 Dec 20 07:20 1989 lisp_prolog_contest/prolog/preadme.txt
rw-r----- 4273/0   4761 Dec 20 07:20 1989 lisp_prolog_contest/prolog/presult.txt
rw-r----- 4273/0   2530 Dec 20 07:20 1989 lisp_prolog_contest/prolog/prolog.prl
rw-r----- 4273/0   3773 Dec 20 07:20 1989 lisp_prolog_contest/output.dat.47
rwxr-xr-x 4273/0      0 Jan  6 21:27 1994 lisp_prolog_contest/lisp/
rw-r----- 4273/0   4386 Dec 20 07:20 1989 lisp_prolog_contest/lisp/bnch1.lsp
rw-r----- 4273/0   8528 Dec 20 07:20 1989 lisp_prolog_contest/lisp/bnch10.lsp
rw-r----- 4273/0   4893 Dec 20 07:20 1989 lisp_prolog_contest/lisp/bnch11.lsp
rw-r----- 4273/0  22061 Dec 20 07:20 1989 lisp_prolog_contest/lisp/bnch12.lsp
rw-r----- 4273/0  16089 Dec 20 07:20 1989 lisp_prolog_contest/lisp/bnch2.lsp
rw-r----- 4273/0   2278 Dec 20 07:20 1989 lisp_prolog_contest/lisp/bnch3.lsp
rw-r----- 4273/0   3818 Dec 20 07:20 1989 lisp_prolog_contest/lisp/bnch4.lsp
rw-r----- 4273/0   2800 Dec 20 07:20 1989 lisp_prolog_contest/lisp/bnch5.lsp
rw-r----- 4273/0   1241 Dec 20 07:20 1989 lisp_prolog_contest/lisp/bnch6.lsp
rw-r----- 4273/0   4998 Dec 20 07:20 1989 lisp_prolog_contest/lisp/bnch7.lsp
rw-r----- 4273/0   9117 Dec 20 07:20 1989 lisp_prolog_contest/lisp/bnch8.lsp
rw-r----- 4273/0  22344 Dec 20 07:20 1989 lisp_prolog_contest/lisp/bnch9.lsp
rw-r----- 4273/0   3075 Dec 20 07:20 1989 lisp_prolog_contest/lisp/lprofl.txt
rw-r----- 4273/0    998 Dec 20 07:20 1989 lisp_prolog_contest/lisp/lreadme.txt
rw-r----- 4273/0   3563 Dec 20 07:20 1989 lisp_prolog_contest/lisp/lresult.txt