rw-rw-r-- 110/100   3333 May 16 10:16 1994 ./README
rwxrwxr-x 110/100      0 May 16 10:17 1994 ./doc/
rw-rw-r-- 110/100  64696 May 16 10:17 1994 ./doc/ground.dvi
rw-rw-r-- 110/100    387 May 16 10:17 1994 ./doc/README
rw-rw-r-- 110/100  55244 May 16 10:17 1994 ./doc/manual.dvi
rw-rw-r-- 110/100 194558 May 16 10:17 1994 ./doc/manual.ps
rw-rw-r-- 110/100 204432 May 16 10:17 1994 ./doc/ground.ps
rw-rw-r-- 110/100   3627 May 16 10:16 1994 ./ChangeLog
rwxrwxr-x 110/100      0 May 16 10:17 1994 ./lib/
rw-rw-r-- 110/100  15772 May 16 10:17 1994 ./lib/Floats.exp
rw-rw-r-- 110/100   1834 May 16 10:17 1994 ./lib/Flocks.exp
rw-rw-r-- 110/100   1212 May 16 10:17 1994 ./lib/FlocksIO.exp
rw-rw-r-- 110/100   4197 May 16 10:17 1994 ./lib/IO.exp
rw-rw-r-- 110/100   5032 May 16 10:17 1994 ./lib/Integers.exp
rw-rw-r-- 110/100   4668 May 16 10:17 1994 ./lib/Lists.exp
rw-rw-r-- 110/100   1850 May 16 10:17 1994 ./lib/Numbers.exp
rw-rw-r-- 110/100   3483 May 16 10:17 1994 ./lib/NumbersIO.exp
rw-rw-r-- 110/100  43997 May 16 10:17 1994 ./lib/Programs.exp
rw-rw-r-- 110/100   1343 May 16 10:17 1994 ./lib/ProgramsIO.exp
rw-rw-r-- 110/100   3511 May 16 10:17 1994 ./lib/Rationals.exp
rw-rw-r-- 110/100  11815 May 16 10:17 1994 ./lib/Scripts.exp
rw-rw-r-- 110/100    875 May 16 10:17 1994 ./lib/ScriptsIO.exp
rw-rw-r-- 110/100   1990 May 16 10:17 1994 ./lib/Sets.exp
rw-rw-r-- 110/100   2667 May 16 10:17 1994 ./lib/Strings.exp
rw-rw-r-- 110/100  30298 May 16 10:17 1994 ./lib/Syntax.exp
rw-rw-r-- 110/100   4743 May 16 10:17 1994 ./lib/Tables.exp
rw-rw-r-- 110/100  19285 May 16 10:17 1994 ./lib/Theories.exp
rw-rw-r-- 110/100   1292 May 16 10:17 1994 ./lib/TheoriesIO.exp
rw-rw-r-- 110/100   1128 May 16 10:17 1994 ./lib/Units.exp
r--rw-r-- 110/100   1743 May 16 10:17 1994 ./lib/Statistics.exp
rw-rw-r-- 110/100   1407 May 16 10:17 1994 ./lib/Statistics.sup
rw-r--r-- 110/100   4577 May 16 10:16 1994 ./overview
rwxrwxr-x 110/100      0 May 16 10:16 1994 ./programs/
rwxrwxr-x 110/100      0 May 16 10:16 1994 ./programs/demo/
rw-r--r-- 110/100   2048 May 16 10:16 1994 ./programs/demo/tableau-queries
rw-r--r-- 110/100      0 May 16 10:16 1994 ./programs/demo/theory1
rw-rw-r-- 110/100    107 May 16 10:16 1994 ./programs/demo/Abduction.exp
rw-rw-r-- 110/100   2060 May 16 10:16 1994 ./programs/demo/README
rw-rw-r-- 110/100   3240 May 16 10:16 1994 ./programs/demo/Abduction.loc
rw-r--r-- 110/100    291 May 16 10:16 1994 ./programs/demo/Demo.exp
rw-r--r-- 110/100   1090 May 16 10:16 1994 ./programs/demo/Dynamic.exp
rw-r--r-- 110/100   1422 May 16 10:16 1994 ./programs/demo/Interpreter.exp
rw-rw-r-- 110/100    591 May 16 10:16 1994 ./programs/demo/DB1.loc
rw-r--r-- 110/100    108 May 16 10:16 1994 ./programs/demo/Answers.exp
rw-rw-r-- 110/100    542 May 16 10:16 1994 ./programs/demo/TestDynamic.loc
rw-r--r-- 110/100    784 May 16 10:16 1994 ./programs/demo/OM2.exp
rw-rw-r-- 110/100    516 May 16 10:16 1994 ./programs/demo/Append.exp
rw-rw-r-- 110/100    107 May 16 10:16 1994 ./programs/demo/Append.loc
rw-r--r-- 110/100    481 May 16 10:16 1994 ./programs/demo/Reasoner.exp
rw-r--r-- 110/100    755 May 16 10:16 1994 ./programs/demo/Tableau.exp
rw-rw-r-- 110/100    402 May 16 10:16 1994 ./programs/demo/Bike.loc
rw-rw-r-- 110/100    652 May 16 10:16 1994 ./programs/demo/DBA.loc
rw-rw-r-- 110/100   3675 May 16 10:16 1994 ./programs/demo/set-queries
rw-rw-r-- 110/100    503 May 16 10:16 1994 ./programs/demo/Bike2.loc
rw-rw-r-- 110/100   3195 May 16 10:16 1994 ./programs/demo/db1-queries
rw-rw-r-- 110/100     96 May 16 10:16 1994 ./programs/demo/BreadthFirst.exp
rw-rw-r-- 110/100   2533 May 16 10:16 1994 ./programs/demo/BreadthFirst.loc
rw-r--r-- 110/100    462 May 16 10:16 1994 ./programs/demo/DB.loc
rw-rw-r-- 110/100    800 May 16 10:16 1994 ./programs/demo/Reflection.loc
rw-r--r-- 110/100    215 May 16 10:16 1994 ./programs/demo/Unify.exp
rw-rw-r-- 110/100    163 May 16 10:16 1994 ./programs/demo/DBL.exp
rw-rw-r-- 110/100    386 May 16 10:16 1994 ./programs/demo/DBL.loc
rw-rw-r-- 110/100   1607 May 16 10:16 1994 ./programs/demo/Demo1.loc
rw-r--r-- 110/100    534 May 16 10:16 1994 ./programs/demo/WolfGoatCabbage.exp
rw-rw-r-- 110/100    827 May 16 10:16 1994 ./programs/demo/SendMoreMoney.loc
rw-rw-r-- 110/100     81 May 16 10:16 1994 ./programs/demo/Demo2.exp
rw-rw-r-- 110/100   1281 May 16 10:16 1994 ./programs/demo/Demo2.loc
rw-r--r-- 110/100    474 May 16 10:16 1994 ./programs/demo/AssocList.loc
rw-r--r-- 110/100     45 May 16 10:16 1994 ./programs/demo/theory2
rw-rw-r-- 110/100    680 May 16 10:16 1994 ./programs/demo/Errors.loc
rw-rw-r-- 110/100    632 May 16 10:16 1994 ./programs/demo/ErrorsFixed.loc
rw-rw-r-- 110/100    125 May 16 10:16 1994 ./programs/demo/Factorial.loc
rw-r--r-- 110/100   1607 May 16 10:16 1994 ./programs/demo/Demo.loc
rw-r--r-- 110/100    775 May 16 10:16 1994 ./programs/demo/Dynamic.loc
rw-rw-r-- 110/100    176 May 16 10:16 1994 ./programs/demo/NinetyOne.loc
rw-rw-r-- 110/100    885 May 16 10:16 1994 ./programs/demo/P2G.exp
rw-r--r-- 110/100    519 May 16 10:16 1994 ./programs/demo/EightQueens.loc
rw-r--r-- 110/100    479 May 16 10:16 1994 ./programs/demo/GCD.loc
rw-r--r-- 110/100    287 May 16 10:16 1994 ./programs/demo/Average.loc
rw-rw-r-- 110/100   6817 May 16 10:16 1994 ./programs/demo/P2G.loc
rw-rw-r-- 110/100   3444 May 16 10:16 1994 ./programs/demo/reflection-queries
rw-r--r-- 110/100   1263 May 16 10:16 1994 ./programs/demo/Answers.loc
rw-rw-r-- 110/100    384 May 16 10:16 1994 ./programs/demo/Succeed.loc
rw-rw-r-- 110/100    465 May 16 10:16 1994 ./programs/demo/Takeuchi.loc
rw-r--r-- 110/100     33 May 16 10:16 1994 ./programs/demo/theory3
rw-r--r-- 110/100    433 May 16 10:16 1994 ./programs/demo/Fibonacci.loc
rw-r--r-- 110/100    168 May 16 10:16 1994 ./programs/demo/Inclusion.loc
rw-rw-r-- 110/100    171 May 16 10:16 1994 ./programs/demo/assoclist-queries
rw-rw-r-- 110/100   1023 May 16 10:16 1994 ./programs/demo/TestAbduction.loc
rw-r--r-- 110/100    557 May 16 10:16 1994 ./programs/demo/M3.loc
rw-rw-r-- 110/100   1480 May 16 10:16 1994 ./programs/demo/number-queries
rw-rw-r-- 110/100    486 May 16 10:16 1994 ./programs/demo/TestBreadthFirst.loc
rw-r--r-- 110/100    335 May 16 10:16 1994 ./programs/demo/M4.loc
rw-rw-r-- 110/100    450 May 16 10:16 1994 ./programs/demo/TestDemo.loc
rw-r--r-- 110/100    967 May 16 10:16 1994 ./programs/demo/TestInterpreter.loc
rw-r--r-- 110/100   7291 May 16 10:16 1994 ./programs/demo/Interpreter.loc
rw-rw-r-- 110/100    493 May 16 10:16 1994 ./programs/demo/TestDemo2.loc
rw-rw-r-- 110/100     28 May 16 10:16 1994 ./programs/demo/UseDBL.loc
rw-r--r-- 110/100    187 May 16 10:16 1994 ./programs/demo/OM2.loc
rw-rw-r-- 110/100    736 May 16 10:16 1994 ./programs/demo/abduction-queries
rw-r--r-- 110/100    576 May 16 10:16 1994 ./programs/demo/Qsort.loc
rw-rw-r-- 110/100    139 May 16 10:16 1994 ./programs/demo/breadthfirst-queries
rw-r--r-- 110/100   4117 May 16 10:16 1994 ./programs/demo/Reasoner.loc
rw-r--r-- 110/100   1088 May 16 10:16 1994 ./programs/demo/Search.loc
rw-r--r-- 110/100    523 May 16 10:16 1994 ./programs/demo/SetProcessing.loc
rw-r--r-- 110/100    396 May 16 10:16 1994 ./programs/demo/Sports.loc
rw-rw-r-- 110/100    480 May 16 10:16 1994 ./programs/demo/succeed-queries
rw-r--r-- 110/100    399 May 16 10:16 1994 ./programs/demo/demo-queries
rw-r--r-- 110/100   8774 May 16 10:16 1994 ./programs/demo/Tableau.loc
rw-rw-r-- 110/100    398 May 16 10:16 1994 ./programs/demo/vanilla-queries
rw-rw-r-- 110/100    149 May 16 10:16 1994 ./programs/demo/Occur.loc
rw-rw-r-- 110/100    307 May 16 10:16 1994 ./programs/demo/Occur1.loc
rw-rw-r-- 110/100    244 May 16 10:16 1994 ./programs/demo/NaiveReverse.loc
rw-r--r-- 110/100    689 May 16 10:16 1994 ./programs/demo/TestTableau.loc
rw-r--r-- 110/100    366 May 16 10:16 1994 ./programs/demo/ThreeWiseMen.loc
rw-r--r-- 110/100   3116 May 16 10:16 1994 ./programs/demo/TestTables.loc
rw-rw-r-- 110/100      0 May 16 10:16 1994 ./programs/demo/Unsafe.loc
rw-r--r-- 110/100    214 May 16 10:16 1994 ./programs/demo/dynamic-queries
rw-r--r-- 110/100   1379 May 16 10:16 1994 ./programs/demo/interpreter-queries
rw-r--r-- 110/100   2792 May 16 10:16 1994 ./programs/demo/table-queries
rw-r--r-- 110/100    406 May 16 10:16 1994 ./programs/demo/unify-queries
rw-r--r-- 110/100     70 May 16 10:16 1994 ./programs/demo/theory
rw-r--r-- 110/100   1456 May 16 10:16 1994 ./programs/demo/Unify.loc
rw-r--r-- 110/100    313 May 16 10:16 1994 ./programs/demo/Vanilla.loc
rw-r--r-- 110/100    619 May 16 10:16 1994 ./programs/demo/WiseMan3KB.loc
rw-rw-r-- 110/100   1116 May 16 10:16 1994 ./programs/demo/Blocks.loc
rw-rw-r-- 110/100     81 May 16 10:16 1994 ./programs/demo/Demo1.exp
rw-r--r-- 110/100   1131 May 16 10:16 1994 ./programs/demo/WolfGoatCabbage.loc
rw-r--r-- 110/100     50 May 16 10:16 1994 ./programs/demo/theory4
rw-r--r-- 110/100    441 May 16 10:16 1994 ./programs/demo/demo2-queries
rw-rw-r-- 110/100   2126 May 16 10:16 1994 ./programs/demo/Statistics.exp
rw-r--r-- 110/100     74 May 16 10:16 1994 ./programs/demo/theory5
rw-r--r-- 110/100     64 May 16 10:16 1994 ./programs/demo/theory6
rw-rw-r-- 110/100    532 May 16 10:16 1994 ./programs/demo/TestUnify.loc
rw-rw-r-- 110/100    373 May 16 10:16 1994 ./programs/demo/Statistics.loc
rw-rw-r-- 110/100   1038 May 16 10:16 1994 ./programs/demo/Statistics.sup
rw-rw-r-- 110/100    503 May 16 10:16 1994 ./programs/demo/TestUnify1.loc
rw-rw-r-- 110/100    425 May 16 10:16 1994 ./programs/demo/Ancestors.loc
rwxrwxr-x 110/100      0 May 16 10:16 1994 ./programs/book/
rw-r--r-- 110/100    205 May 16 10:16 1994 ./programs/book/DisplayFile.exp
rw-r--r-- 110/100    104 May 16 10:16 1994 ./programs/book/DoubleTable.exp
rw-r--r-- 110/100    291 May 16 10:16 1994 ./programs/book/Demo.exp
rw-r--r-- 110/100   1090 May 16 10:16 1994 ./programs/book/Dynamic.exp
rw-r--r-- 110/100    151 May 16 10:16 1994 ./programs/book/Hidden2.exp
rw-r--r-- 110/100   1422 May 16 10:16 1994 ./programs/book/Interpreter.exp
rw-r--r-- 110/100    108 May 16 10:16 1994 ./programs/book/Answers.exp
rw-r--r-- 110/100    265 May 16 10:16 1994 ./programs/book/M5.exp
rw-r--r-- 110/100     64 May 16 10:16 1994 ./programs/book/M8.exp
rw-r--r-- 110/100     64 May 16 10:16 1994 ./programs/book/M9.exp
rw-r--r-- 110/100    784 May 16 10:16 1994 ./programs/book/OM2.exp
rw-r--r-- 110/100    481 May 16 10:16 1994 ./programs/book/Reasoner.exp
rw-r--r-- 110/100    755 May 16 10:16 1994 ./programs/book/Tableau.exp
rw-r--r-- 110/100    215 May 16 10:16 1994 ./programs/book/Unify.exp
rw-r--r-- 110/100    534 May 16 10:16 1994 ./programs/book/WolfGoatCabbage.exp
rw-r--r-- 110/100    474 May 16 10:16 1994 ./programs/book/AssocList.loc
rw-r--r-- 110/100    175 May 16 10:16 1994 ./programs/book/Coroutine.loc
rw-r--r-- 110/100    462 May 16 10:16 1994 ./programs/book/DB.loc
rw-r--r-- 110/100    646 May 16 10:16 1994 ./programs/book/DisplayFile.loc
rw-r--r-- 110/100    818 May 16 10:16 1994 ./programs/book/DoubleTable.loc
rw-r--r-- 110/100   1607 May 16 10:16 1994 ./programs/book/Demo.loc
rw-r--r-- 110/100    775 May 16 10:16 1994 ./programs/book/Dynamic.loc
rw-r--r-- 110/100    519 May 16 10:16 1994 ./programs/book/EightQueens.loc
rw-r--r-- 110/100    433 May 16 10:16 1994 ./programs/book/Fibonacci.loc
rw-r--r-- 110/100    479 May 16 10:16 1994 ./programs/book/GCD.loc
rw-r--r-- 110/100     45 May 16 10:16 1994 ./programs/book/Hidden1.loc
rw-r--r-- 110/100    102 May 16 10:16 1994 ./programs/book/Hidden2.loc
rw-r--r-- 110/100    168 May 16 10:16 1994 ./programs/book/Inclusion.loc
rw-r--r-- 110/100    967 May 16 10:16 1994 ./programs/book/TestInterpreter.loc
rw-r--r-- 110/100   7291 May 16 10:16 1994 ./programs/book/Interpreter.loc
rw-r--r-- 110/100   1263 May 16 10:16 1994 ./programs/book/Answers.loc
rw-r--r-- 110/100    519 May 16 10:16 1994 ./programs/book/M1.loc
rw-r--r-- 110/100    531 May 16 10:16 1994 ./programs/book/M2.loc
rw-r--r-- 110/100    557 May 16 10:16 1994 ./programs/book/M3.loc
rw-r--r-- 110/100    335 May 16 10:16 1994 ./programs/book/M4.loc
rw-r--r-- 110/100     95 May 16 10:16 1994 ./programs/book/M5.loc
rw-r--r-- 110/100    134 May 16 10:16 1994 ./programs/book/M6.loc
rw-r--r-- 110/100     75 May 16 10:16 1994 ./programs/book/M7.loc
rw-r--r-- 110/100    187 May 16 10:16 1994 ./programs/book/OM2.loc
rw-r--r-- 110/100    933 May 16 10:16 1994 ./programs/book/P1.loc
rw-r--r-- 110/100    406 May 16 10:16 1994 ./programs/book/P2.loc
rw-r--r-- 110/100    463 May 16 10:16 1994 ./programs/book/P3.loc
rw-r--r-- 110/100    516 May 16 10:16 1994 ./programs/book/P4.loc
rw-r--r-- 110/100    698 May 16 10:16 1994 ./programs/book/P5.loc
rw-r--r-- 110/100    137 May 16 10:16 1994 ./programs/book/P6.loc
rw-r--r-- 110/100    163 May 16 10:16 1994 ./programs/book/ParametricTypes.loc
rw-r--r-- 110/100    576 May 16 10:16 1994 ./programs/book/Qsort.loc
rw-r--r-- 110/100   4117 May 16 10:16 1994 ./programs/book/Reasoner.loc
rw-r--r-- 110/100   1088 May 16 10:16 1994 ./programs/book/Search.loc
rw-r--r-- 110/100    396 May 16 10:16 1994 ./programs/book/Sports.loc
rw-r--r-- 110/100    523 May 16 10:16 1994 ./programs/book/SetProcessing.loc
rw-r--r-- 110/100   8774 May 16 10:16 1994 ./programs/book/Tableau.loc
rw-r--r-- 110/100    689 May 16 10:16 1994 ./programs/book/TestTableau.loc
rw-r--r-- 110/100    366 May 16 10:16 1994 ./programs/book/ThreeWiseMen.loc
rw-r--r-- 110/100   1456 May 16 10:16 1994 ./programs/book/Unify.loc
rw-r--r-- 110/100    313 May 16 10:16 1994 ./programs/book/Vanilla.loc
rw-r--r-- 110/100    619 May 16 10:16 1994 ./programs/book/WiseMan3KB.loc
rw-r--r-- 110/100   1131 May 16 10:16 1994 ./programs/book/WolfGoatCabbage.loc
rw-rw-r-- 110/100    265 May 16 10:16 1994 ./register-as-a-user
rwxrwxr-x 110/100      0 May 16 10:17 1994 ./src/
rw-rw-r-- 110/100 176470 May 16 10:17 1994 ./src/system.pl
r--rw-r-- 110/100  12453 May 16 10:17 1994 ./src/avltrees.pl
r--rw-r-- 110/100   2243 May 16 10:17 1994 ./src/aux.pl
r--rw-r-- 110/100  11106 May 16 10:17 1994 ./src/builtin.pl
r--rw-r-- 110/100  41603 May 16 10:17 1994 ./src/compiler.pl
r--rw-r-- 110/100  14650 May 16 10:17 1994 ./src/constraint.pl
r--rw-r-- 110/100  14584 May 16 10:17 1994 ./src/delay.pl
r--rw-r-- 110/100  48694 May 16 10:17 1994 ./src/formula.pl
r--rw-r-- 110/100   6049 May 16 10:17 1994 ./src/gfreeze.pl
r--rw-r-- 110/100   5871 May 16 10:17 1994 ./src/init.pl
r--rw-r-- 110/100   4205 May 16 10:17 1994 ./src/lib.pl
r--rw-r-- 110/100  68690 May 16 10:17 1994 ./src/parser.pl
r--rw-r-- 110/100  18891 May 16 10:17 1994 ./src/statement.pl
r--rw-r-- 110/100  21549 May 16 10:17 1994 ./src/checking.pl
r--rw-r-- 110/100  51508 May 16 10:17 1994 ./src/term.pl
r--rw-r-- 110/100  11815 May 16 10:17 1994 ./src/tokenizer.pl
r--rw-r-- 110/100  10267 May 16 10:17 1994 ./src/tokenizer2.pl
r--rw-r-- 110/100  59052 May 16 10:17 1994 ./src/toplev.pl
r--rw-r-- 110/100  13572 May 16 10:17 1994 ./src/tracer.pl
r--rw-r-- 110/100  19678 May 16 10:17 1994 ./src/transform.pl
r--rw-r-- 110/100   7034 May 16 10:17 1994 ./src/utilities.pl
rw-rw-r-- 110/100   8999 May 16 10:17 1994 ./src/Integers.pl
rw-rw-r-- 110/100  11923 May 16 10:17 1994 ./src/Rationals.pl
rw-rw-r-- 110/100   3046 May 16 10:17 1994 ./src/Sets.pl
rw-rw-r-- 110/100     70 May 16 10:17 1994 ./src/Floats.pl
rw-rw-r-- 110/100   1005 May 16 10:17 1994 ./src/Numbers.pl
rw-rw-r-- 110/100   9867 May 16 10:17 1994 ./src/Lists.pl
rw-rw-r-- 110/100   5288 May 16 10:17 1994 ./src/Strings.pl
rw-rw-r-- 110/100  28013 May 16 10:17 1994 ./src/Tables.pl
rw-rw-r-- 110/100   9185 May 16 10:17 1994 ./src/Units.pl
rw-rw-r-- 110/100   3968 May 16 10:17 1994 ./src/Flocks.pl
rw-rw-r-- 110/100   3099 May 16 10:17 1994 ./src/FlocksIO.pl
rw-rw-r-- 110/100   6769 May 16 10:17 1994 ./src/IO.pl
rw-rw-r-- 110/100     73 May 16 10:17 1994 ./src/NumbersIO.pl
rw-rw-r-- 110/100 134607 May 16 10:17 1994 ./src/Syntax.pl
rw-rw-r-- 110/100   1847 May 16 10:17 1994 ./src/ExtraSyntax.pl
rw-rw-r-- 110/100    654 May 16 10:17 1994 ./src/Makefile
rw-rw-r-- 110/100  34436 May 16 10:17 1994 ./src/SharedSyntax.pl
rw-rw-r-- 110/100  80035 May 16 10:17 1994 ./src/Substs.pl
rw-rw-r-- 110/100 121967 May 16 10:17 1994 ./src/Programs.pl
rw-rw-r-- 110/100 147242 May 16 10:17 1994 ./src/SharedPrograms.pl
rw-rw-r-- 110/100   1412 May 16 10:17 1994 ./src/ProgramCache.pl
rw-rw-r-- 110/100  22518 May 16 10:17 1994 ./src/AVLTrees.pl
rw-rw-r-- 110/100   3873 May 16 10:17 1994 ./src/ProgramsIO.pl
rw-rw-r-- 110/100  38300 May 16 10:17 1994 ./src/Scripts.pl
rw-rw-r-- 110/100   2436 May 16 10:17 1994 ./src/ScriptsIO.pl
rw-rw-r-- 110/100     72 May 16 10:17 1994 ./src/Theories.pl
rw-rw-r-- 110/100     74 May 16 10:17 1994 ./src/TheoriesIO.pl
rw-rw-r-- 110/100 1045549 May 16 10:17 1994 ./src/sys_modules.pl
