rwxr-xr-x 4273/0 0 Aug 11 14:08 1993 norvig/ rw-r--r-- 4273/0 1770 Jul 11 01:34 1993 norvig/ORDERING rw-r--r-- 4273/0 38 Jul 22 21:24 1993 norvig/SOURCE rw-r--r-- 4273/0 8285 Jul 11 01:34 1993 norvig/README rw-r--r-- 4273/0 1850 Jul 11 01:34 1993 norvig/auxmacs.lisp rw-r--r-- 4273/0 10076 Jul 11 01:34 1993 norvig/clos.dat rw-r--r-- 4273/0 3087 Jul 11 01:34 1993 norvig/clos.lisp rw-r--r-- 4273/0 1193 Jul 11 01:34 1993 norvig/cmacsyma.dat rw-r--r-- 4273/0 12994 Jul 11 01:34 1993 norvig/cmacsyma.lisp rw-r--r-- 4273/0 19184 Jul 11 01:34 1993 norvig/auxfns.lisp rw-r--r-- 4273/0 4918 Jul 11 01:34 1993 norvig/compile1.lisp rw-r--r-- 4273/0 14177 Jul 11 01:34 1993 norvig/compile3.lisp rw-r--r-- 4273/0 2206 Jul 11 01:34 1993 norvig/compopt.lisp rw-r--r-- 4273/0 226 Jul 11 01:34 1993 norvig/edge-tab.lisp rw-r--r-- 4273/0 653 Jul 11 01:34 1993 norvig/eliza-pm.lisp rw-r--r-- 4273/0 6589 Jul 11 01:34 1993 norvig/eliza.lisp rw-r--r-- 4273/0 7812 Jul 11 01:34 1993 norvig/eliza1.lisp rw-r--r-- 4273/0 673 Jul 11 01:34 1993 norvig/gps-srch.dat rw-r--r-- 4273/0 1214 Jul 11 01:34 1993 norvig/gps-srch.lisp rw-r--r-- 4273/0 6826 Jul 11 01:34 1993 norvig/gps.dat rw-r--r-- 4273/0 8642 Jul 11 01:34 1993 norvig/gps.lisp rw-r--r-- 4273/0 1195 Jul 11 01:34 1993 norvig/gps1.dat rw-r--r-- 4273/0 2110 Jul 11 01:34 1993 norvig/gps1.lisp rw-r--r-- 4273/0 4457 Jul 11 01:34 1993 norvig/grammar.dat rw-r--r-- 4273/0 17653 Jul 11 01:34 1993 norvig/grammar.lisp rw-r--r-- 4273/0 1710 Jul 11 01:34 1993 norvig/interp1.dat rw-r--r-- 4273/0 6290 Jul 11 01:34 1993 norvig/interp1.lisp rw-r--r-- 4273/0 2336 Jul 11 01:34 1993 norvig/interp2.lisp rw-r--r-- 4273/0 2317 Jul 11 01:34 1993 norvig/interp3.dat rw-r--r-- 4273/0 3335 Jul 11 01:34 1993 norvig/interp3.lisp rw-r--r-- 4273/0 3617 Jul 11 01:34 1993 norvig/intro.lisp rw-r--r-- 4273/0 9717 Jul 11 01:34 1993 norvig/krep.lisp rw-r--r-- 4273/0 925 Jul 11 01:34 1993 norvig/krep1.dat rw-r--r-- 4273/0 5904 Jul 11 01:34 1993 norvig/krep1.lisp rw-r--r-- 4273/0 5553 Jul 11 01:34 1993 norvig/krep2.lisp rw-r--r-- 4273/0 6848 Jul 11 01:34 1993 norvig/lexicon.lisp rw-r--r-- 4273/0 9808 Jul 11 01:34 1993 norvig/loop.lisp rw-r--r-- 4273/0 2583 Jul 11 01:34 1993 norvig/macsyma.dat rw-r--r-- 4273/0 9615 Jul 11 01:34 1993 norvig/macsyma.lisp rw-r--r-- 4273/0 2646 Jul 11 01:34 1993 norvig/macsymar.lisp rw-r--r-- 4273/0 2336 Jul 11 01:34 1993 norvig/mycin-r.lisp rw-r--r-- 4273/0 2536 Jul 11 01:34 1993 norvig/mycin.dat rw-r--r-- 4273/0 14578 Jul 11 01:34 1993 norvig/mycin.lisp rw-r--r-- 4273/0 6348 Jul 11 01:34 1993 norvig/othello.dat rw-r--r-- 4273/0 16489 Jul 11 01:34 1993 norvig/othello.lisp rw-r--r-- 4273/0 14015 Jul 11 01:34 1993 norvig/othello2.lisp rw-r--r-- 4273/0 9345 Jul 11 01:34 1993 norvig/overview.lisp rw-r--r-- 4273/0 1261 Jul 11 01:34 1993 norvig/patmatch.dat rw-r--r-- 4273/0 7947 Jul 11 01:34 1993 norvig/patmatch.lisp rw-r--r-- 4273/0 4564 Jul 11 01:34 1993 norvig/prolog.lisp rw-r--r-- 4273/0 803 Jul 11 01:34 1993 norvig/prolog1.dat rw-r--r-- 4273/0 3741 Jul 11 01:34 1993 norvig/prolog1.lisp rw-r--r-- 4273/0 1421 Jul 11 01:34 1993 norvig/prologc.dat rw-r--r-- 4273/0 14546 Jul 11 01:34 1993 norvig/prologc.lisp rw-r--r-- 4273/0 1059 Jul 11 01:34 1993 norvig/prologc1.dat rw-r--r-- 4273/0 5943 Jul 11 01:34 1993 norvig/prologc1.lisp rw-r--r-- 4273/0 1501 Jul 11 01:34 1993 norvig/prologc2.dat rw-r--r-- 4273/0 6879 Jul 11 01:34 1993 norvig/prologc2.lisp rw-r--r-- 4273/0 4499 Jul 11 01:34 1993 norvig/prologcp.lisp rw-r--r-- 4273/0 4338 Jul 11 01:34 1993 norvig/search.dat rw-r--r-- 4273/0 11104 Jul 11 01:34 1993 norvig/search.lisp rw-r--r-- 4273/0 3804 Jul 11 01:34 1993 norvig/simple.lisp rw-r--r-- 4273/0 4345 Jul 11 01:34 1993 norvig/student.dat rw-r--r-- 4273/0 6934 Jul 11 01:34 1993 norvig/student.lisp rw-r--r-- 4273/0 2513 Jul 11 01:34 1993 norvig/syntax1.dat rw-r--r-- 4273/0 4162 Jul 11 01:34 1993 norvig/syntax1.lisp rw-r--r-- 4273/0 672 Jul 11 01:34 1993 norvig/syntax2.dat rw-r--r-- 4273/0 5236 Jul 11 01:34 1993 norvig/syntax2.lisp rw-r--r-- 4273/0 3642 Jul 11 01:34 1993 norvig/syntax3.dat rw-r--r-- 4273/0 8919 Jul 11 01:34 1993 norvig/syntax3.lisp rw-r--r-- 4273/0 7807 Jul 11 01:34 1993 norvig/unifgram.dat rw-r--r-- 4273/0 6273 Jul 11 01:34 1993 norvig/unifgram.lisp rw-r--r-- 4273/0 2143 Jul 11 01:34 1993 norvig/unify.lisp rw-r--r-- 4273/0 2642 Jul 11 01:34 1993 norvig/waltz.dat rw-r--r-- 4273/0 9503 Jul 11 01:34 1993 norvig/waltz.lisp rw-r--r-- 4273/0 18706 Jul 11 01:34 1993 norvig/ERRATA rw-r--r-- 4273/0 5670 Jul 11 01:34 1993 norvig/compile.dat rw-r--r-- 4273/0 9231 Jul 11 01:34 1993 norvig/compile2.lisp rw-r--r-- 4273/0 3096 Jul 11 01:34 1993 norvig/prolog.dat