rwxrwxr-x 80/80 0 Apr 20 20:01 1993 ICP-dist/ rw-rw-r-- 217/80 3035 Jul 27 11:32 1993 ICP-dist/Makefile rw-r--r-- 217/1 2773 Mar 24 18:34 1993 ICP-dist/README rwxrwxr-x 217/80 0 Mar 3 17:29 1993 ICP-dist/bin/ rwxrwxr-x 217/80 0 Jan 11 15:20 1993 ICP-dist/bin/generic/ rw-rw-r-- 217/80 1112 Sep 28 14:32 1993 ICP-dist/bin/generic/icp rw-rw-r-- 217/80 260 Sep 28 14:32 1993 ICP-dist/bin/generic/mbx_server rwxrwxr-x 217/80 0 Sep 28 14:23 1993 ICP-dist/bin/sun3/ rwxrwxr-x 217/80 122880 Sep 21 14:23 1993 ICP-dist/bin/sun3/mbx_server rwxrwxr-x 217/80 466944 Sep 28 14:22 1993 ICP-dist/bin/sun3/icp rwxr-xr-x 217/1 0 Aug 12 08:02 1993 ICP-dist/doc/ rw-rw-r-- 217/80 397672 Aug 12 08:02 1993 ICP-dist/doc/prolog.dvi rw-r--r-- 217/900 198704 Jul 28 11:47 1993 ICP-dist/doc/parlog.dvi rwxrwxr-x 217/80 0 Sep 28 15:31 1993 ICP-dist/include/ rw-rw-r-- 217/80 888 Dec 10 07:11 1992 ICP-dist/include/ICprolog.h rw-rw-r-- 217/80 14350 Jun 30 12:35 1993 ICP-dist/include/icp.h rw-rw-r-- 217/80 1795 Nov 30 09:58 1992 ICP-dist/include/io.h rw-rw-r-- 217/80 605 Jun 30 12:35 1993 ICP-dist/include/primitives.h rw-rw-r-- 217/80 2032 Nov 26 12:45 1992 ICP-dist/include/macros.h rw-rw-r-- 217/80 5701 Mar 1 13:40 1993 ICP-dist/include/objs.h rw-rw-r-- 217/80 442 Dec 22 18:45 1992 ICP-dist/include/ret.h rwxrwxr-x 217/80 0 Aug 12 08:02 1993 ICP-dist/info/ rw-rw-r-- 217/80 2355 Aug 12 08:02 1993 ICP-dist/info/icp.info rw-rw-r-- 217/80 48148 Aug 12 08:02 1993 ICP-dist/info/icp.info-1 rw-rw-r-- 217/80 49241 Aug 12 08:02 1993 ICP-dist/info/icp.info-2 rw-rw-r-- 217/80 48908 Aug 12 08:02 1993 ICP-dist/info/icp.info-3 rw-rw-r-- 217/80 41220 Aug 12 08:02 1993 ICP-dist/info/icp.info-4 rw-rw-r-- 217/80 23119 Aug 12 08:02 1993 ICP-dist/info/icp.info-5 rw-rw-r-- 217/80 1854 Jul 28 11:47 1993 ICP-dist/info/parlog.info rw-rw-r-- 217/80 49295 Jul 28 11:47 1993 ICP-dist/info/parlog.info-1 rw-rw-r-- 217/80 49441 Jul 28 11:47 1993 ICP-dist/info/parlog.info-2 rw-rw-r-- 217/80 19991 Jul 28 11:47 1993 ICP-dist/info/parlog.info-3 rwxrwxr-x 217/80 0 Sep 28 15:31 1993 ICP-dist/install/ rw-rw-r-- 217/80 1198 Dec 22 14:42 1992 ICP-dist/install/icp.sed rw-rw-r-- 217/80 274 Dec 4 08:51 1992 ICP-dist/install/mbx_server.sed rwxrwx--x 217/80 397 Jan 24 12:18 1992 ICP-dist/install/mkdirhier rw-rw-r-- 217/80 150 Dec 14 18:48 1992 ICP-dist/install/icp-services rw-rw-r-- 217/80 1149 Dec 14 19:07 1992 ICP-dist/install/inst-services.perl rwxrwxr-x 217/80 0 Jan 11 15:19 1993 ICP-dist/parlog/ rwxrwxr-x 217/80 0 Jan 11 15:19 1993 ICP-dist/parlog/system/ rwxrwxr-x 217/80 0 Sep 28 15:31 1993 ICP-dist/parlog/system/comp/ rw-rw-r-- 217/80 12679 Apr 16 10:54 1993 ICP-dist/parlog/system/comp/assem.o rw-rw-r-- 217/80 2809 Apr 16 10:54 1993 ICP-dist/parlog/system/comp/builtin.o rw-rw-r-- 217/80 17713 Apr 16 10:54 1993 ICP-dist/parlog/system/comp/codegen1.o rw-rw-r-- 217/80 22816 Apr 16 10:54 1993 ICP-dist/parlog/system/comp/codegen2.o rw-rw-r-- 217/80 23293 Apr 16 10:54 1993 ICP-dist/parlog/system/comp/codegen3.o rw-rw-r-- 217/80 28332 Apr 16 10:54 1993 ICP-dist/parlog/system/comp/codegen4.o rw-rw-r-- 217/80 7472 May 24 10:12 1993 ICP-dist/parlog/system/comp/codegen5.o rw-rw-r-- 217/80 22192 Apr 16 10:55 1993 ICP-dist/parlog/system/comp/compile.o rw-rw-r-- 217/80 19720 Sep 28 14:24 1993 ICP-dist/parlog/system/comp/dtree1.o rw-rw-r-- 217/80 7294 May 4 08:56 1993 ICP-dist/parlog/system/comp/dtree2.o rw-rw-r-- 217/80 18084 Apr 16 10:55 1993 ICP-dist/parlog/system/comp/dtree3.o rw-rw-r-- 217/80 5473 Apr 16 10:55 1993 ICP-dist/parlog/system/comp/dtree4.o rw-rw-r-- 217/80 4475 Apr 16 10:55 1993 ICP-dist/parlog/system/comp/dtree5.o rw-rw-r-- 217/80 6544 Apr 16 10:55 1993 ICP-dist/parlog/system/comp/instr.o rw-rw-r-- 217/80 9757 Apr 16 10:55 1993 ICP-dist/parlog/system/comp/kernel.o rw-rw-r-- 217/80 886 Apr 16 10:55 1993 ICP-dist/parlog/system/comp/loadcomp.o rw-rw-r-- 217/80 2182 Apr 16 10:55 1993 ICP-dist/parlog/system/comp/prologs.o rwxrwxr-x 217/80 0 Sep 28 15:31 1993 ICP-dist/parlog/system/hermes/ rw-rw-r-- 217/80 4178 Sep 28 14:07 1993 ICP-dist/parlog/system/hermes/hermes_boot.o rw-rw-r-- 217/80 4116 Apr 16 10:56 1993 ICP-dist/parlog/system/hermes/hermes_env.o rw-rw-r-- 217/80 6868 Apr 16 10:56 1993 ICP-dist/parlog/system/hermes/mailbox.o rw-rw-r-- 217/80 19377 Apr 16 10:56 1993 ICP-dist/parlog/system/hermes/tcp.o rwxrwxr-x 217/80 0 Sep 28 15:31 1993 ICP-dist/parlog/system/env/ rw-rw-r-- 217/80 604 Apr 16 10:56 1993 ICP-dist/parlog/system/env/loadenv.o rw-rw-r-- 217/80 4070 Apr 16 10:56 1993 ICP-dist/parlog/system/env/ops.o rw-rw-r-- 217/80 7180 Apr 21 12:51 1993 ICP-dist/parlog/system/env/prims.o rw-rw-r-- 217/80 17046 Apr 16 10:56 1993 ICP-dist/parlog/system/env/rdtok.o rw-rw-r-- 217/80 10612 Apr 16 10:56 1993 ICP-dist/parlog/system/env/read.o rw-rw-r-- 217/80 8501 May 5 15:00 1993 ICP-dist/parlog/system/env/syspred.o rw-rw-r-- 217/80 4840 Jun 28 18:16 1993 ICP-dist/parlog/system/env/toplev.o rw-rw-r-- 217/80 4087 Apr 16 10:56 1993 ICP-dist/parlog/system/env/trace.o rw-rw-r-- 217/80 2038 Apr 16 10:56 1993 ICP-dist/parlog/system/env/unix.o rw-rw-r-- 217/80 7455 May 5 15:00 1993 ICP-dist/parlog/system/env/write.o rwxrwxr-x 217/80 0 Jan 11 15:19 1993 ICP-dist/parlog/utilities/ rwxrwxr-x 217/80 0 Sep 28 15:31 1993 ICP-dist/parlog/utilities/foreign/ rw-rw-r-- 217/80 9968 Apr 16 10:56 1993 ICP-dist/parlog/utilities/foreign/foreign.o rwxrwxr-x 217/80 0 Sep 28 15:31 1993 ICP-dist/parlog/utilities/pshell/ rw-rw-r-- 217/80 15007 Apr 16 10:57 1993 ICP-dist/parlog/utilities/pshell/pshell.o rwxrwxr-x 217/80 0 Sep 28 15:31 1993 ICP-dist/parlog/utilities/tracer/ rw-rw-r-- 217/80 11126 May 5 15:00 1993 ICP-dist/parlog/utilities/tracer/t_abs.o rw-rw-r-- 217/80 16952 May 5 15:00 1993 ICP-dist/parlog/utilities/tracer/t_prims.o rw-rw-r-- 217/80 16812 Apr 16 10:57 1993 ICP-dist/parlog/utilities/tracer/t_solve.o rw-rw-r-- 217/80 20837 Apr 19 20:09 1993 ICP-dist/parlog/utilities/tracer/t_utilities.o rw-rw-r-- 217/80 622 Apr 16 10:57 1993 ICP-dist/parlog/utilities/tracer/t_load.o rw-rw-r-- 217/80 13281 Apr 16 10:57 1993 ICP-dist/parlog/utilities/tracer/t_reduce.o rw-rw-r-- 217/80 25141 May 5 15:00 1993 ICP-dist/parlog/utilities/tracer/t_user.o rwxrwxr-x 217/80 0 Mar 3 17:26 1993 ICP-dist/prolog/ rwxrwxr-x 217/80 0 Sep 28 15:31 1993 ICP-dist/prolog/source/ rw-rw-r-- 217/80 213 Dec 14 09:08 1992 ICP-dist/prolog/source/system.pl rw-rw-r-- 217/80 6786 Jun 30 13:26 1993 ICP-dist/prolog/source/arith.icp rw-rw-r-- 217/80 6324 Sep 14 15:29 1993 ICP-dist/prolog/source/assert.icp rw-rw-r-- 217/80 2074 Jun 30 13:26 1993 ICP-dist/prolog/source/boot.icp rw-r--r-- 217/900 9926 Sep 7 18:06 1993 ICP-dist/prolog/source/comp.icp rw-rw-r-- 217/80 39128 Jun 30 13:27 1993 ICP-dist/prolog/source/compiler.icp rw-rw-r-- 217/80 5192 Jun 30 13:27 1993 ICP-dist/prolog/source/control.icp rw-rw-r-- 217/80 2180 Jun 30 13:27 1993 ICP-dist/prolog/source/dcg.icp rw-rw-r-- 217/80 11476 Aug 20 17:14 1993 ICP-dist/prolog/source/esc_code.icp rw-rw-r-- 217/80 6260 Aug 20 17:20 1993 ICP-dist/prolog/source/escape.icp rw-rw-r-- 217/80 402 Jun 30 13:27 1993 ICP-dist/prolog/source/foreign.icp rw-rw-r-- 217/80 4974 Aug 12 07:37 1993 ICP-dist/prolog/source/fork.icp rw-rw-r-- 217/80 7942 Jun 30 13:27 1993 ICP-dist/prolog/source/format.icp rw-rw-r-- 217/80 506 Jun 30 13:27 1993 ICP-dist/prolog/source/gen_esc.icp rw-rw-r-- 217/80 1624 Jun 30 13:28 1993 ICP-dist/prolog/source/interrupt.icp rw-rw-r-- 217/80 4044 Jun 30 13:28 1993 ICP-dist/prolog/source/listing.icp rw-rw-r-- 217/80 3690 Jun 30 13:28 1993 ICP-dist/prolog/source/loader.icp rw-rw-r-- 217/80 6928 Jun 30 13:28 1993 ICP-dist/prolog/source/mailbox.icp rw-rw-r-- 217/80 7458 Jun 30 13:26 1993 ICP-dist/prolog/source/make.icp rw-rw-r-- 217/80 5158 Sep 7 16:37 1993 ICP-dist/prolog/source/misc.icp rw-rw-r-- 217/80 7518 Jun 30 13:28 1993 ICP-dist/prolog/source/newForeign.icp rw-rw-r-- 217/80 5140 Jun 30 13:28 1993 ICP-dist/prolog/source/newuser.icp rw-rw-r-- 217/80 3114 Jun 30 13:28 1993 ICP-dist/prolog/source/operators.icp rw-rw-r-- 217/80 3062 Jun 30 13:28 1993 ICP-dist/prolog/source/predicates.icp rw-rw-r-- 217/80 19648 Jun 30 13:28 1993 ICP-dist/prolog/source/primitives.icp rw-rw-r-- 217/80 1358 Jun 30 13:28 1993 ICP-dist/prolog/source/style.icp rw-rw-r-- 217/80 13540 Jun 30 13:28 1993 ICP-dist/prolog/source/syserror.icp rw-rw-r-- 217/80 6654 Aug 20 17:20 1993 ICP-dist/prolog/source/tcp.icp rw-rw-r-- 217/80 13004 Jun 30 13:28 1993 ICP-dist/prolog/source/tracer.icp rw-rw-r-- 217/80 770 Jun 30 13:28 1993 ICP-dist/prolog/source/unix.icp rw-rw-r-- 217/80 7646 Jun 30 13:29 1993 ICP-dist/prolog/source/write.icp rw-rw-r-- 217/80 212 Jun 30 13:29 1993 ICP-dist/prolog/source/system.icp rw-rw-r-- 217/80 656 Jan 25 13:46 1993 ICP-dist/prolog/source/lo.pl rw-rw-r-- 217/80 1332 Jan 25 13:13 1993 ICP-dist/prolog/source/looperators.pl rw-rw-r-- 217/80 242 Jun 30 13:18 1993 ICP-dist/prolog/source/lorebuild.pl rw-rw-r-- 217/80 6424 Jun 30 13:18 1993 ICP-dist/prolog/source/lodynamic.icp rw-rw-r-- 217/80 8572 Jun 30 13:18 1993 ICP-dist/prolog/source/loenv.icp rw-rw-r-- 217/80 5278 Jun 30 13:18 1993 ICP-dist/prolog/source/loexpressions.icp rw-rw-r-- 217/80 6570 Jun 30 13:18 1993 ICP-dist/prolog/source/lolow_level.icp rw-rw-r-- 217/80 2978 Jun 30 13:18 1993 ICP-dist/prolog/source/lotop.icp rw-rw-r-- 217/80 7982 Jun 30 13:18 1993 ICP-dist/prolog/source/lotracing.icp rw-rw-r-- 217/80 19064 Jun 30 13:19 1993 ICP-dist/prolog/source/lotranslator.icp rw-rw-r-- 217/80 798 Jun 30 13:18 1993 ICP-dist/prolog/source/lo.icp rw-rw-r-- 217/80 1280 Jun 30 13:18 1993 ICP-dist/prolog/source/looperators.icp rw-rw-r-- 217/80 762 Jun 30 13:18 1993 ICP-dist/prolog/source/lorebuild.icp rw-rw-r-- 217/80 1978 Jun 30 13:19 1993 ICP-dist/prolog/source/gnu.icp rwxrwxr-x 217/80 0 Sep 28 15:31 1993 ICP-dist/prolog/skilaki/ rw-rw-r-- 217/80 4198 Mar 24 15:21 1993 ICP-dist/prolog/skilaki/ask.icp rw-rw-r-- 217/80 1380 Mar 24 15:21 1993 ICP-dist/prolog/skilaki/builtins.icp rw-rw-r-- 217/80 1426 Mar 24 15:21 1993 ICP-dist/prolog/skilaki/explain_failure.icp rw-rw-r-- 217/80 1212 Mar 24 15:21 1993 ICP-dist/prolog/skilaki/icp_comp.icp rw-rw-r-- 217/80 938 Mar 24 15:21 1993 ICP-dist/prolog/skilaki/icp_compat.icp rw-rw-r-- 217/80 954 Mar 24 15:21 1993 ICP-dist/prolog/skilaki/icp_loader.icp rw-rw-r-- 217/80 10750 Mar 24 15:22 1993 ICP-dist/prolog/skilaki/icp_tty.icp rw-rw-r-- 217/80 2656 Mar 24 15:22 1993 ICP-dist/prolog/skilaki/lemmas.icp rw-rw-r-- 217/80 1540 Mar 24 15:22 1993 ICP-dist/prolog/skilaki/negation.icp rw-rw-r-- 217/80 5308 Mar 24 15:22 1993 ICP-dist/prolog/skilaki/pi_compiler.icp rw-rw-r-- 217/80 3126 Mar 24 15:22 1993 ICP-dist/prolog/skilaki/query.icp rw-rw-r-- 217/80 4042 Mar 24 15:22 1993 ICP-dist/prolog/skilaki/residue.icp rw-rw-r-- 217/80 2568 Mar 24 15:22 1993 ICP-dist/prolog/skilaki/runtime.icp rw-rw-r-- 217/80 2872 Mar 24 15:22 1993 ICP-dist/prolog/skilaki/stubs.icp rw-rw-r-- 217/80 6300 Mar 24 15:22 1993 ICP-dist/prolog/skilaki/translator.icp rw-rw-r-- 217/80 1566 Mar 24 15:22 1993 ICP-dist/prolog/skilaki/utilities.icp rwxrwxr-x 217/80 0 Sep 28 14:22 1993 ICP-dist/prolog/sun3/ rw-r--r-- 217/80 21872 Sep 21 14:14 1993 ICP-dist/prolog/sun3/tcp_parlog.o rw-r--r-- 217/80 22413 Sep 21 14:20 1993 ICP-dist/prolog/sun3/mbx_kernel.o rw-r--r-- 217/80 17086 Sep 21 14:21 1993 ICP-dist/prolog/sun3/mbx_prolog.o rw-r--r-- 217/80 25724 Sep 21 14:22 1993 ICP-dist/prolog/sun3/mbx_parlog.o rwxrwxr-x 217/80 0 Jan 25 14:00 1993 ICP-dist/lo/ rwxrwxr-x 217/80 0 Feb 5 14:24 1993 ICP-dist/lo/examples/ rw-rw-r-- 217/80 921 Dec 10 09:09 1992 ICP-dist/lo/examples/animals.lo rw-rw-r-- 217/80 3506 Dec 10 09:47 1992 ICP-dist/lo/examples/bench.lo rw-rw-r-- 217/80 1702 Dec 10 09:58 1992 ICP-dist/lo/examples/planner.lo rw-rw-r-- 217/80 7200 Dec 10 10:03 1992 ICP-dist/lo/examples/travellers.lo rw-rw-r-- 217/80 244 Dec 10 10:06 1992 ICP-dist/lo/examples/README rw-rw-r-- 217/80 902 Feb 5 14:25 1993 ICP-dist/lo/README rwxrwxr-x 217/80 0 Jun 30 13:19 1993 ICP-dist/lo/source/ rw-rw-r-- 217/80 0 Jan 25 13:46 1993 ICP-dist/lo/source/lo.pl linked to ICP-dist/prolog/source/lo.pl rw-rw-r-- 217/80 512 Jan 25 13:15 1993 ICP-dist/lo/source/Makefile.m4 rw-rw-r-- 217/80 2442 Sep 28 15:30 1993 ICP-dist/lo/source/Makefile rw-rw-r-- 217/80 0 Jun 30 13:18 1993 ICP-dist/lo/source/lorebuild.icp linked to ICP-dist/prolog/source/lorebuild.icp rw-rw-r-- 217/80 7140 Jan 25 13:13 1993 ICP-dist/lo/source/lodynamic.pl rw-rw-r-- 217/80 0 Jun 30 13:18 1993 ICP-dist/lo/source/lo.icp linked to ICP-dist/prolog/source/lo.icp rw-rw-r-- 217/80 9331 Jan 25 13:46 1993 ICP-dist/lo/source/loenv.pl rw-rw-r-- 217/80 0 Jun 30 13:18 1993 ICP-dist/lo/source/looperators.icp linked to ICP-dist/prolog/source/looperators.icp rw-rw-r-- 217/80 6467 Jan 25 13:13 1993 ICP-dist/lo/source/loexpressions.pl rw-rw-r-- 217/80 0 Jun 30 13:18 1993 ICP-dist/lo/source/lodynamic.icp linked to ICP-dist/prolog/source/lodynamic.icp rw-rw-r-- 217/80 5971 Jan 25 13:13 1993 ICP-dist/lo/source/lolow_level.pl rw-rw-r-- 217/80 0 Jan 25 13:13 1993 ICP-dist/lo/source/looperators.pl linked to ICP-dist/prolog/source/looperators.pl rw-rw-r-- 217/80 0 Jun 30 13:18 1993 ICP-dist/lo/source/lorebuild.pl linked to ICP-dist/prolog/source/lorebuild.pl rw-rw-r-- 217/80 0 Jun 30 13:18 1993 ICP-dist/lo/source/loenv.icp linked to ICP-dist/prolog/source/loenv.icp rw-rw-r-- 217/80 4363 Jan 25 13:13 1993 ICP-dist/lo/source/lotop.pl rw-rw-r-- 217/80 0 Jun 30 13:18 1993 ICP-dist/lo/source/lolow_level.icp linked to ICP-dist/prolog/source/lolow_level.icp rw-rw-r-- 217/80 9092 Jan 25 13:46 1993 ICP-dist/lo/source/lotracing.pl rw-rw-r-- 217/80 0 Jun 30 13:18 1993 ICP-dist/lo/source/loexpressions.icp linked to ICP-dist/prolog/source/loexpressions.icp rw-rw-r-- 217/80 21765 Jan 25 13:13 1993 ICP-dist/lo/source/lotranslator.pl rw-rw-r-- 217/80 0 Jun 30 13:18 1993 ICP-dist/lo/source/lotop.icp linked to ICP-dist/prolog/source/lotop.icp rw-rw-r-- 217/80 0 Jun 30 13:18 1993 ICP-dist/lo/source/lotracing.icp linked to ICP-dist/prolog/source/lotracing.icp rw-rw-r-- 217/80 0 Jun 30 13:19 1993 ICP-dist/lo/source/gnu.icp linked to ICP-dist/prolog/source/gnu.icp rw-rw-r-- 217/80 1909 Jan 25 13:12 1993 ICP-dist/lo/source/gnu.pl rw-rw-r-- 217/80 0 Jun 30 13:19 1993 ICP-dist/lo/source/lotranslator.icp linked to ICP-dist/prolog/source/lotranslator.icp rwxrwxr-x 217/80 0 Jan 11 15:00 1993 ICP-dist/lo/doc/ rw-rw-r-- 217/80 54748 Dec 14 09:39 1992 ICP-dist/lo/doc/lo.dvi rw-rw-r-- 217/80 43829 Dec 14 09:38 1992 ICP-dist/lo/doc/lo.tex rw-rw-r-- 217/80 1938 Sep 28 15:30 1993 ICP-dist/lo/doc/Makefile rw-rw-r-- 217/80 237 Mar 24 16:57 1993 ICP-dist/lo/doc/Makefile.m4 rw-rw-r-- 217/80 4052 Jan 25 14:00 1993 ICP-dist/lo/lo.elc rw-rw-r-- 217/80 7400 Jan 25 14:00 1993 ICP-dist/lo/lo.el rwxrwxr-x 217/80 0 Dec 15 04:43 1992 ICP-dist/skilaki/ rwxrwxr-x 217/80 0 Dec 15 04:41 1992 ICP-dist/skilaki/examples/ rw-rw-r-- 217/80 454 Dec 14 12:14 1992 ICP-dist/skilaki/examples/chan.sk rw-rw-r-- 217/80 750 Dec 14 12:14 1992 ICP-dist/skilaki/examples/drugs.sk rw-rw-r-- 217/80 1450 Dec 14 12:28 1992 ICP-dist/skilaki/examples/meta_decl.pl rw-rw-r-- 217/80 1974 Mar 24 15:23 1993 ICP-dist/skilaki/examples/meta_decl.icp rw-rw-r-- 217/80 1294 Dec 15 04:40 1992 ICP-dist/skilaki/examples/chan.icp rw-rw-r-- 217/80 2140 Dec 15 04:40 1992 ICP-dist/skilaki/examples/drugs.icp rw-rw-r-- 217/80 5522 Dec 15 05:12 1992 ICP-dist/skilaki/README rwxrwxr-x 217/80 164 Dec 15 04:43 1992 ICP-dist/skilaki/skilaki rwxrwxr-x 217/80 0 Mar 24 15:23 1993 ICP-dist/skilaki/source/ rw-rw-r-- 217/80 4777 Dec 14 12:28 1992 ICP-dist/skilaki/source/ask.pl rw-rw-r-- 217/80 933 Dec 14 12:28 1992 ICP-dist/skilaki/source/builtins.pl rw-rw-r-- 217/80 1561 Dec 14 12:28 1992 ICP-dist/skilaki/source/explain_failure.pl rw-rw-r-- 217/80 1196 Dec 15 05:15 1992 ICP-dist/skilaki/source/icp_comp.pl rw-rw-r-- 217/80 1101 Dec 14 12:28 1992 ICP-dist/skilaki/source/icp_compat.pl rw-rw-r-- 217/80 885 Dec 15 04:42 1992 ICP-dist/skilaki/source/icp_loader.pl rw-rw-r-- 217/80 10660 Dec 15 04:39 1992 ICP-dist/skilaki/source/icp_tty.pl rw-rw-r-- 217/80 3642 Dec 14 12:28 1992 ICP-dist/skilaki/source/lemmas.pl rw-rw-r-- 217/80 0 Mar 24 15:21 1993 ICP-dist/skilaki/source/ask.icp linked to ICP-dist/prolog/skilaki/ask.icp rw-rw-r-- 217/80 2275 Dec 14 12:28 1992 ICP-dist/skilaki/source/negation.pl rw-rw-r-- 217/80 6774 Dec 14 12:28 1992 ICP-dist/skilaki/source/pi_compiler.pl rw-rw-r-- 217/80 2987 Dec 14 12:28 1992 ICP-dist/skilaki/source/query.pl rw-rw-r-- 217/80 4447 Dec 14 12:28 1992 ICP-dist/skilaki/source/residue.pl rw-rw-r-- 217/80 2781 Dec 14 12:28 1992 ICP-dist/skilaki/source/runtime.pl rw-rw-r-- 217/80 3069 Dec 14 12:28 1992 ICP-dist/skilaki/source/stubs.pl rw-rw-r-- 217/80 6707 Dec 14 12:28 1992 ICP-dist/skilaki/source/translator.pl rw-rw-r-- 217/80 1704 Dec 14 12:28 1992 ICP-dist/skilaki/source/utilities.pl rw-rw-r-- 217/80 2382 Sep 28 15:30 1993 ICP-dist/skilaki/source/Makefile rw-rw-r-- 217/80 0 Mar 24 15:21 1993 ICP-dist/skilaki/source/builtins.icp linked to ICP-dist/prolog/skilaki/builtins.icp rw-rw-r-- 217/80 471 Dec 15 07:10 1992 ICP-dist/skilaki/source/Makefile.m4 rw-rw-r-- 217/80 0 Mar 24 15:21 1993 ICP-dist/skilaki/source/explain_failure.icp linked to ICP-dist/prolog/skilaki/explain_failure.icp rw-rw-r-- 217/80 0 Mar 24 15:21 1993 ICP-dist/skilaki/source/icp_comp.icp linked to ICP-dist/prolog/skilaki/icp_comp.icp rw-rw-r-- 217/80 0 Mar 24 15:21 1993 ICP-dist/skilaki/source/icp_compat.icp linked to ICP-dist/prolog/skilaki/icp_compat.icp rw-rw-r-- 217/80 0 Mar 24 15:21 1993 ICP-dist/skilaki/source/icp_loader.icp linked to ICP-dist/prolog/skilaki/icp_loader.icp rw-rw-r-- 217/80 0 Mar 24 15:22 1993 ICP-dist/skilaki/source/icp_tty.icp linked to ICP-dist/prolog/skilaki/icp_tty.icp rw-rw-r-- 217/80 0 Mar 24 15:22 1993 ICP-dist/skilaki/source/lemmas.icp linked to ICP-dist/prolog/skilaki/lemmas.icp rw-rw-r-- 217/80 0 Mar 24 15:22 1993 ICP-dist/skilaki/source/negation.icp linked to ICP-dist/prolog/skilaki/negation.icp rw-rw-r-- 217/80 0 Mar 24 15:22 1993 ICP-dist/skilaki/source/pi_compiler.icp linked to ICP-dist/prolog/skilaki/pi_compiler.icp rw-rw-r-- 217/80 0 Mar 24 15:22 1993 ICP-dist/skilaki/source/query.icp linked to ICP-dist/prolog/skilaki/query.icp rw-rw-r-- 217/80 0 Mar 24 15:22 1993 ICP-dist/skilaki/source/residue.icp linked to ICP-dist/prolog/skilaki/residue.icp rw-rw-r-- 217/80 0 Mar 24 15:22 1993 ICP-dist/skilaki/source/runtime.icp linked to ICP-dist/prolog/skilaki/runtime.icp rw-rw-r-- 217/80 0 Mar 24 15:22 1993 ICP-dist/skilaki/source/stubs.icp linked to ICP-dist/prolog/skilaki/stubs.icp rw-rw-r-- 217/80 0 Mar 24 15:22 1993 ICP-dist/skilaki/source/translator.icp linked to ICP-dist/prolog/skilaki/translator.icp rw-rw-r-- 217/80 0 Mar 24 15:22 1993 ICP-dist/skilaki/source/utilities.icp linked to ICP-dist/prolog/skilaki/utilities.icp rwxrwxr-x 217/80 0 Dec 15 16:17 1992 ICP-dist/examples/ rwxrwxr-x 217/80 0 Dec 14 16:38 1992 ICP-dist/examples/arithmetic/ rw-rw-r-- 217/80 2880 Dec 14 16:15 1992 ICP-dist/examples/arithmetic/a1.icp rw-rw-r-- 217/80 515 Dec 14 15:48 1992 ICP-dist/examples/arithmetic/a1.lo rw-rw-r-- 217/80 2732 Dec 14 16:17 1992 ICP-dist/examples/arithmetic/a2.icp rw-rw-r-- 217/80 417 Dec 14 15:49 1992 ICP-dist/examples/arithmetic/a2.lo rw-rw-r-- 217/80 2712 Dec 14 16:15 1992 ICP-dist/examples/arithmetic/a3.icp rw-rw-r-- 217/80 432 Dec 14 15:49 1992 ICP-dist/examples/arithmetic/a3.lo rw-rw-r-- 217/80 1170 Mar 24 15:18 1993 ICP-dist/examples/arithmetic/agent.icp rw-rw-r-- 217/80 1010 Dec 14 15:49 1992 ICP-dist/examples/arithmetic/agent.pl rw-rw-r-- 217/80 3356 Dec 14 16:14 1992 ICP-dist/examples/arithmetic/human2.icp rw-rw-r-- 217/80 776 Dec 14 15:49 1992 ICP-dist/examples/arithmetic/human2.lo rw-rw-r-- 217/80 4339 Mar 26 11:16 1993 ICP-dist/examples/arithmetic/README rw-rw-r-- 217/80 2574 Mar 26 10:46 1993 ICP-dist/examples/arithmetic/core_agent.lo rw-rw-r-- 217/80 4732 Mar 26 11:15 1993 ICP-dist/examples/arithmetic/core_agent.icp rw-rw-r-- 217/80 870 Mar 24 15:18 1993 ICP-dist/examples/timer.icp rw-rw-r-- 217/80 731 Dec 10 08:47 1992 ICP-dist/examples/timer.pl rw-rw-r-- 217/80 850 Dec 10 08:25 1992 ICP-dist/examples/writen.pl rwxrwxr-x 217/80 0 Feb 5 14:24 1993 ICP-dist/examples/lo/ rw-rw-r-- 217/80 921 Dec 10 09:09 1992 ICP-dist/examples/lo/animals.lo rw-rw-r-- 217/80 3506 Dec 10 09:47 1992 ICP-dist/examples/lo/bench.lo rw-rw-r-- 217/80 1702 Dec 10 09:58 1992 ICP-dist/examples/lo/planner.lo rw-rw-r-- 217/80 7200 Dec 10 10:03 1992 ICP-dist/examples/lo/travellers.lo rw-rw-r-- 217/80 244 Dec 10 10:06 1992 ICP-dist/examples/lo/README rwxrwxr-x 217/80 0 Dec 10 15:27 1992 ICP-dist/examples/banking/ rw-rw-r-- 217/80 2715 Dec 10 15:52 1992 ICP-dist/examples/banking/atm.o rw-rw-r-- 217/80 1438 Dec 10 15:46 1992 ICP-dist/examples/banking/atm.par rw-rw-r-- 217/80 14137 Dec 10 15:52 1992 ICP-dist/examples/banking/bank.o rw-rw-r-- 217/80 5394 Dec 10 15:52 1992 ICP-dist/examples/banking/dir.o rw-rw-r-- 217/80 7872 Dec 10 15:47 1992 ICP-dist/examples/banking/bank.par rw-rw-r-- 217/80 841 Oct 12 18:01 1992 ICP-dist/examples/banking/bank.pl rw-rw-r-- 217/80 699 Dec 10 12:40 1992 ICP-dist/examples/banking/dir_boot.o rw-rw-r-- 217/80 320 Mar 24 15:19 1993 ICP-dist/examples/banking/dir.icp rw-rw-r-- 217/80 1406 Mar 24 15:19 1993 ICP-dist/examples/banking/bank.icp rw-rw-r-- 217/80 2862 Dec 10 15:52 1992 ICP-dist/examples/banking/dir.par rw-rw-r-- 217/80 340 May 19 09:18 1992 ICP-dist/examples/banking/dir.pl rw-rw-r-- 217/80 605 Dec 10 12:31 1992 ICP-dist/examples/banking/dir_boot.par rw-rw-r-- 217/80 74 Dec 10 15:18 1992 ICP-dist/examples/banking/sbc.pl rw-rw-r-- 217/80 75 Mar 3 08:22 1993 ICP-dist/examples/banking/bnp.pl rw-rw-r-- 217/80 75 Mar 3 08:22 1993 ICP-dist/examples/banking/db.pl rw-rw-r-- 217/80 7824 Dec 14 16:03 1992 ICP-dist/examples/banking/README rwxrwxr-x 217/80 0 Jul 23 08:58 1993 ICP-dist/examples/tcp/ rw-rw-r-- 217/80 6517 Dec 14 09:50 1992 ICP-dist/examples/tcp/connected.pl rw-rw-r-- 217/80 3973 Dec 14 09:50 1992 ICP-dist/examples/tcp/simple_connected.pl rw-rw-r-- 217/80 3189 Dec 14 09:50 1992 ICP-dist/examples/tcp/connectionless.pl rw-rw-r-- 217/80 407 Dec 10 10:10 1992 ICP-dist/examples/tcp/README rw-rw-r-- 217/80 1681 Dec 14 09:51 1992 ICP-dist/examples/tcp/tcp_timer.pl rw-rw-r-- 217/80 2631 Dec 14 09:59 1992 ICP-dist/examples/tcp/pipe_vs_tcp.par rw-rw-r-- 217/80 2657 Jul 23 08:57 1993 ICP-dist/examples/tcp/icpmail.pl rw-rw-r-- 217/80 4368 Dec 14 09:51 1992 ICP-dist/examples/tcp/tcp_test.pl rw-rw-r-- 217/80 4054 Dec 14 10:06 1992 ICP-dist/examples/tcp/simple_connected.par rw-rw-r-- 217/80 3203 Dec 14 10:01 1992 ICP-dist/examples/tcp/connectionless.par rw-rw-r-- 217/80 597 Dec 10 08:30 1992 ICP-dist/examples/nrev.pl rw-rw-r-- 217/80 378 Mar 24 15:18 1993 ICP-dist/examples/writen.icp rw-rw-r-- 217/80 458 Dec 15 16:18 1992 ICP-dist/examples/README rw-rw-r-- 217/80 710 Mar 24 15:17 1993 ICP-dist/examples/nrev.icp rw-rw-r-- 217/80 1144 Mar 24 15:17 1993 ICP-dist/examples/pro_con.icp rw-rw-r-- 217/80 1258 Dec 15 16:15 1992 ICP-dist/examples/pro_con.pl