rwxr-xr-x 1108/15 0 Aug 20 03:57 1993 Aquarius_Prolog/ rwxr-xr-x 1108/15 0 Aug 20 03:36 1993 Aquarius_Prolog/Documentation/ rwxr-xr-x 1108/15 0 Aug 20 03:21 1993 Aquarius_Prolog/Documentation/user_manual/ rw-r--r-- 1108/15 1632 Aug 20 03:21 1993 Aquarius_Prolog/Documentation/user_manual/Makefile rwxr-xr-x 1108/15 0 Aug 20 03:21 1993 Aquarius_Prolog/Documentation/user_manual/sources/ rw-r--r-- 1108/15 10479 Aug 20 03:21 1993 Aquarius_Prolog/Documentation/user_manual/sources/arithmetic.troff rw-r--r-- 1108/15 16354 Aug 20 03:21 1993 Aquarius_Prolog/Documentation/user_manual/sources/clause_database.troff rw-r--r-- 1108/15 7575 Aug 20 03:21 1993 Aquarius_Prolog/Documentation/user_manual/sources/comparison.troff rw-r--r-- 1108/15 108 Aug 20 03:21 1993 Aquarius_Prolog/Documentation/user_manual/sources/contents.troff rw-r--r-- 1108/15 9596 Aug 20 03:21 1993 Aquarius_Prolog/Documentation/user_manual/sources/control.troff rw-r--r-- 1108/15 8470 Aug 20 03:21 1993 Aquarius_Prolog/Documentation/user_manual/sources/databases.troff rw-r--r-- 1108/15 6633 Aug 20 03:21 1993 Aquarius_Prolog/Documentation/user_manual/sources/destructive.troff rw-r--r-- 1108/15 9973 Aug 20 03:21 1993 Aquarius_Prolog/Documentation/user_manual/sources/errors.troff rw-r--r-- 1108/15 5560 Aug 20 03:21 1993 Aquarius_Prolog/Documentation/user_manual/sources/grammar.troff rw-r--r-- 1108/15 1362 Aug 20 03:21 1993 Aquarius_Prolog/Documentation/user_manual/sources/improvements.troff rw-r--r-- 1108/15 560 Aug 20 03:21 1993 Aquarius_Prolog/Documentation/user_manual/sources/initialize.troff rw-r--r-- 1108/15 47740 Aug 20 03:21 1993 Aquarius_Prolog/Documentation/user_manual/sources/input_output.troff rw-r--r-- 1108/15 5308 Aug 20 03:21 1993 Aquarius_Prolog/Documentation/user_manual/sources/internal_database.troff rw-r--r-- 1108/15 5405 Aug 20 03:21 1993 Aquarius_Prolog/Documentation/user_manual/sources/introduction.troff rw-r--r-- 1108/15 2313 Aug 20 03:21 1993 Aquarius_Prolog/Documentation/user_manual/sources/limits.troff rw-r--r-- 1108/15 13584 Aug 20 03:21 1993 Aquarius_Prolog/Documentation/user_manual/sources/load.troff rw-r--r-- 1108/15 15857 Aug 20 03:21 1993 Aquarius_Prolog/Documentation/user_manual/sources/memory.troff rw-r--r-- 1108/15 416 Aug 20 03:21 1993 Aquarius_Prolog/Documentation/user_manual/sources/memory_diagram.troff rw-r--r-- 1108/15 3269 Aug 20 03:21 1993 Aquarius_Prolog/Documentation/user_manual/sources/preface.troff rw-r--r-- 1108/15 4417 Aug 20 03:21 1993 Aquarius_Prolog/Documentation/user_manual/sources/sets.troff rw-r--r-- 1108/15 10029 Aug 20 03:21 1993 Aquarius_Prolog/Documentation/user_manual/sources/state.troff rw-r--r-- 1108/15 15152 Aug 20 03:21 1993 Aquarius_Prolog/Documentation/user_manual/sources/syntax.troff rw-r--r-- 1108/15 19474 Aug 20 03:21 1993 Aquarius_Prolog/Documentation/user_manual/sources/terms.troff rw-r--r-- 1108/15 894 Aug 20 03:21 1993 Aquarius_Prolog/Documentation/user_manual/sources/title_page.troff rw-r--r-- 1108/15 3588 Aug 20 03:21 1993 Aquarius_Prolog/Documentation/user_manual/sources/unix.troff rw-r--r-- 1108/15 487 Aug 20 03:21 1993 Aquarius_Prolog/Documentation/user_manual/sources/user_manual.troff rw-r--r-- 1108/15 37495 Aug 20 03:21 1993 Aquarius_Prolog/Documentation/user_manual/sources/compiling.tbl rw-r--r-- 1108/15 52633 Aug 20 03:21 1993 Aquarius_Prolog/Documentation/user_manual/sources/compiling.troff rw-r--r-- 1108/15 4609 Aug 20 03:21 1993 Aquarius_Prolog/Documentation/user_manual/sources/error_data.troff rw-r--r-- 1108/15 790197 Aug 20 03:21 1993 Aquarius_Prolog/Documentation/user_manual/user_manual.ps rw-r--r-- 1108/15 11271 Aug 20 03:21 1993 Aquarius_Prolog/Documentation/HINTS_FOR_SPEED rwxr-xr-x 1108/15 0 Aug 20 03:21 1993 Aquarius_Prolog/Documentation/imp_notes/ rw-r--r-- 1108/15 8192 Aug 20 03:21 1993 Aquarius_Prolog/Documentation/imp_notes/imp_notes.book rw-r--r-- 1108/15 26624 Aug 20 03:21 1993 Aquarius_Prolog/Documentation/imp_notes/imp_notes.cover rw-r--r-- 1108/15 304128 Aug 20 03:21 1993 Aquarius_Prolog/Documentation/imp_notes/imp_notes.doc rw-r--r-- 1108/15 29696 Aug 20 03:21 1993 Aquarius_Prolog/Documentation/imp_notes/imp_notesTOC.doc rw-r--r-- 1108/15 304128 Aug 20 03:21 1993 Aquarius_Prolog/Documentation/imp_notes/imp_notes.doc.auto rw-r--r-- 1108/15 223778 Aug 20 03:21 1993 Aquarius_Prolog/Documentation/imp_notes/imp_notes.ps rw-r--r-- 1108/15 304128 Aug 20 03:21 1993 Aquarius_Prolog/Documentation/imp_notes/imp_notes.doc.recover rw-r--r-- 1108/15 300032 Aug 20 03:21 1993 Aquarius_Prolog/Documentation/imp_notes/imp_notes.doc.backup rw-r--r-- 1108/15 6368 Aug 20 03:23 1993 Aquarius_Prolog/Aquarius_License_Agreement rw-r--r-- 1108/15 2200 Aug 20 03:52 1993 Aquarius_Prolog/README rw-r--r-- 1108/15 3775 Aug 20 03:25 1993 Aquarius_Prolog/Release.Announcement rwxr-xr-x 1108/15 0 Aug 20 03:30 1993 Aquarius_Prolog/Release.Readmes/ rw-r--r-- 1108/15 12273 Aug 20 03:30 1993 Aquarius_Prolog/Release.Readmes/README.ENDUSER rw-r--r-- 1108/15 28444 Aug 20 03:30 1993 Aquarius_Prolog/Release.Readmes/README.FULL