rwxr-xr-x 4273/0 0 Feb 10 21:22 1994 prolog19/ rw-r--r-- 4273/0 18688 May 5 10:02 1986 prolog19/ac_fix.pro rw-r--r-- 4273/0 512 May 5 10:02 1986 prolog19/ans.pro rw-r--r-- 4273/0 5790 May 5 10:12 1986 prolog19/atn.pro rw-r--r-- 4273/0 3584 May 5 10:12 1986 prolog19/atnbld.pro rw-r--r-- 4273/0 6528 May 5 10:12 1986 prolog19/atnnew1.pro rw-r--r-- 4273/0 4352 May 5 10:12 1986 prolog19/atnrev.pro rw-r--r-- 4273/0 43264 May 5 10:13 1986 prolog19/ATNRPT.TXT rw-r--r-- 4273/0 640 May 5 10:02 1986 prolog19/bench.pro rw-r--r-- 4273/0 1280 May 5 10:02 1986 prolog19/bicycle.pro rw-r--r-- 4273/0 5459 May 5 10:02 1986 prolog19/cardfile.pro rw-r--r-- 4273/0 1513 May 5 10:02 1986 prolog19/colors.pro rw-r--r-- 4273/0 640 May 5 10:02 1986 prolog19/console.pro rw-r--r-- 4273/0 1408 May 5 10:02 1986 prolog19/consultf.pro rw-r--r-- 4273/0 3328 May 5 10:02 1986 prolog19/dial411.pro rw-r--r-- 4273/0 640 May 5 10:02 1986 prolog19/dif.pro rw-r--r-- 4273/0 1920 May 5 10:02 1986 prolog19/doctor.pro rw-r--r-- 4273/0 768 May 5 10:02 1986 prolog19/family.pro rw-r--r-- 4273/0 1280 May 5 10:02 1986 prolog19/gensym.pro rw-r--r-- 4273/0 1280 May 5 10:02 1986 prolog19/grrules.pro rw-r--r-- 4273/0 3072 May 5 10:02 1986 prolog19/hanoi.pro rw-r--r-- 4273/0 1376 May 5 10:02 1986 prolog19/hello.bob rw-r--r-- 4273/0 3968 May 5 10:02 1986 prolog19/hemat.pro rw-r--r-- 4273/0 1792 May 5 10:02 1986 prolog19/journey.pro rw-r--r-- 4273/0 14035 May 5 10:11 1986 prolog19/know.pro rw-r--r-- 4273/0 640 May 5 10:11 1986 prolog19/kops rw-r--r-- 4273/0 1024 May 5 10:02 1986 prolog19/matrix.pro rw-r--r-- 4273/0 256 May 5 10:02 1986 prolog19/member.pro rw-r--r-- 4273/0 1024 Dec 14 20:50 1985 prolog19/NEWS rw-r--r-- 4273/0 128 May 5 10:13 1986 prolog19/node.pro rw-r--r-- 4273/0 256 May 5 10:02 1986 prolog19/number.pro rw-r--r-- 4273/0 2176 May 5 10:02 1986 prolog19/optjourn.pro rw-r--r-- 4273/0 256 May 5 10:02 1986 prolog19/order.pro rw-r--r-- 4273/0 1664 May 5 10:02 1986 prolog19/parts.pro rw-r--r-- 4273/0 135820 May 5 09:48 1986 prolog19/pdprolog.exe rw-r--r-- 4273/0 16 May 5 10:11 1986 prolog19/pie.bat rw-r--r-- 4273/0 384 May 5 10:02 1986 prolog19/playtext.pro rw-r--r-- 4273/0 2560 May 5 10:02 1986 prolog19/pooh.pro rw-r--r-- 4273/0 86663 May 5 09:48 1986 prolog19/PROLOG.DOC rw-r--r-- 4273/0 1728 May 5 10:02 1986 prolog19/provit.pro rw-r--r-- 4273/0 3882 Dec 14 21:25 1985 prolog19/README rw-r--r-- 4273/0 3072 May 5 10:02 1986 prolog19/robot.pro rw-r--r-- 4273/0 4736 May 5 10:02 1986 prolog19/rock.pro rw-r--r-- 4273/0 384 May 5 10:13 1986 prolog19/routine.pro rw-r--r-- 4273/0 1152 May 5 10:02 1986 prolog19/rsent.pro rw-r--r-- 4273/0 640 May 5 10:02 1986 prolog19/sieve.pro rw-r--r-- 4273/0 2048 May 5 10:02 1986 prolog19/sort.pro rw-r--r-- 4273/0 16384 May 5 10:02 1986 prolog19/sqr_game.pro rw-r--r-- 4273/0 128 May 5 10:02 1986 prolog19/success.pro rw-r--r-- 4273/0 2388 May 5 10:02 1986 prolog19/trees.pro rw-r--r-- 4273/0 502 May 5 10:14 1986 prolog19/words.pro rw-r--r-- 4273/0 384 May 5 10:03 1986 prolog19/wrclause.pro rw-r--r-- 4273/0 4019 Feb 10 21:18 1994 prolog19/LISTING