r--r--r-- 170/65   1311 Jun 12 16:21 1992 prolog1.2/README
r--r--r-- 170/65   4204 Jun 12 16:21 1992 prolog1.2/Release
r--r--r-- 170/65   6382 Jun 12 16:21 1992 prolog1.2/Manual
r--r--r-- 170/65  13617 Jun 12 16:21 1992 prolog1.2/Impl
r--r--r-- 170/65    754 Jun 12 16:21 1992 prolog1.2/builtin.pro
r--r--r-- 170/65   4342 Jun 12 16:21 1992 prolog1.2/interval.pro
r--r--r-- 170/65   1617 Jun 12 16:21 1992 prolog1.2/ex.pro
r--r--r-- 170/65  17275 Jun 12 16:21 1992 prolog1.2/ex.out
r--r--r-- 170/65   3208 Jun 12 16:21 1992 prolog1.2/polytest.pro
r--r--r-- 170/65   2194 Jun 12 16:21 1992 prolog1.2/prolog.ss
r--r--r-- 170/65    654 Jun 12 16:21 1992 prolog1.2/compatibility.ss
r--r--r-- 170/65    661 Jun 12 16:21 1992 prolog1.2/tables.ss
r--r--r-- 170/65    375 Jun 12 16:21 1992 prolog1.2/clauses.ss
r--r--r-- 170/65    745 Jun 12 16:21 1992 prolog1.2/predicates.ss
r--r--r-- 170/65   3226 Jun 12 16:21 1992 prolog1.2/goals.ss
r--r--r-- 170/65   3372 Jun 12 16:21 1992 prolog1.2/dlists.ss
r--r--r-- 170/65   4295 Jun 12 16:21 1992 prolog1.2/programs.ss
r--r--r-- 170/65   3939 Jun 12 16:21 1992 prolog1.2/compile.ss
r--r--r-- 170/65  13418 Jun 12 16:21 1992 prolog1.2/terms.ss
r--r--r-- 170/65   1968 Jun 12 16:21 1992 prolog1.2/schedule.ss
r--r--r-- 170/65   5014 Jun 12 16:21 1992 prolog1.2/search.ss
r--r--r-- 170/65    742 Jun 12 16:21 1992 prolog1.2/flounder.ss
r--r--r-- 170/65    785 Jun 12 16:21 1992 prolog1.2/interval.ss
r--r--r-- 170/65   2004 Jun 12 16:21 1992 prolog1.2/Interval/precision.ss
r--r--r-- 170/65   7583 Jun 12 16:21 1992 prolog1.2/Interval/prim.ss
r--r--r-- 170/65   2360 Jun 12 16:21 1992 prolog1.2/Interval/add.ss
r--r--r-- 170/65   4797 Jun 12 16:21 1992 prolog1.2/Interval/mult.ss
r--r--r-- 170/65   1229 Jun 12 16:21 1992 prolog1.2/Interval/int.ss
r--r--r-- 170/65    706 Jun 12 16:21 1992 prolog1.2/Interval/geq.ss
r--r--r-- 170/65   1293 Jun 12 16:21 1992 prolog1.2/Interval/gt.ss
r--r--r-- 170/65   1129 Jun 12 16:21 1992 prolog1.2/Interval/neq.ss
r--r--r-- 170/65   2954 Jun 12 16:21 1992 prolog1.2/Interval/split.ss
r--r--r-- 170/65  15963 Jun 12 16:21 1992 prolog1.2/Interval/relax.ss
r--r--r-- 170/65   4598 Jun 12 16:21 1992 prolog1.2/Interval/unify.ss