rwxr-xr-x 5237/5237 0 Sep 14 15:05 1993 XSB/ rwxr-xr-x 5237/5237 0 Sep 13 12:37 1993 XSB/cmplib/ rw-r--r-- 5237/5237 1704 Sep 13 12:31 1993 XSB/cmplib/asm.H rw-r--r-- 5237/5237 4697 Sep 13 12:31 1993 XSB/cmplib/asm.O rw-r--r-- 5237/5237 11392 Sep 13 12:31 1993 XSB/cmplib/asm.P rw-r--r-- 5237/5237 1125 Sep 13 12:31 1993 XSB/cmplib/asm_inst.H rw-r--r-- 5237/5237 13812 Sep 13 12:31 1993 XSB/cmplib/asm_inst.O r--r--r-- 5237/5237 1639 Sep 13 12:31 1993 XSB/cmplib/Makefile rw-r--r-- 5237/5237 1524 Sep 13 12:31 1993 XSB/cmplib/asm_pass2.H rw-r--r-- 5237/5237 4172 Sep 13 12:31 1993 XSB/cmplib/asm_pass2.O rw-r--r-- 5237/5237 5883 Sep 13 12:31 1993 XSB/cmplib/asm_pass2.P rw-r--r-- 5237/5237 1610 Sep 13 12:31 1993 XSB/cmplib/aux.H rw-r--r-- 5237/5237 3916 Sep 13 12:31 1993 XSB/cmplib/aux.O rw-r--r-- 5237/5237 6806 Sep 13 12:31 1993 XSB/cmplib/aux.P rw-r--r-- 5237/5237 1124 Sep 13 12:31 1993 XSB/cmplib/builtin.H rw-r--r-- 5237/5237 6574 Sep 13 12:31 1993 XSB/cmplib/builtin.O rw-r--r-- 5237/5237 5943 Sep 13 12:31 1993 XSB/cmplib/builtin.P rw-r--r-- 5237/5237 2831 Sep 13 12:31 1993 XSB/cmplib/compile.H rw-r--r-- 5237/5237 4626 Sep 13 12:31 1993 XSB/cmplib/useinfer.O rw-r--r-- 5237/5237 9009 Sep 13 12:31 1993 XSB/cmplib/compile.P rw-r--r-- 5237/5237 1002 Sep 13 12:31 1993 XSB/cmplib/config.H rw-r--r-- 5237/5237 243 Sep 13 12:31 1993 XSB/cmplib/config.O rw-r--r-- 5237/5237 1001 Sep 13 12:31 1993 XSB/cmplib/config.P r--r--r-- 5237/5237 13519 Sep 13 12:31 1993 XSB/cmplib/parse.P rw-r--r-- 5237/5237 1205 Sep 13 12:31 1993 XSB/cmplib/flatten.H rw-r--r-- 5237/5237 2946 Sep 13 12:31 1993 XSB/cmplib/flatten.O rw-r--r-- 5237/5237 7547 Sep 13 12:31 1993 XSB/cmplib/parse.O rw-r--r-- 5237/5237 7533 Sep 13 12:31 1993 XSB/cmplib/flatten.P rw-r--r-- 5237/5237 1353 Sep 13 12:31 1993 XSB/cmplib/inprog.H rw-r--r-- 5237/5237 4827 Sep 13 12:31 1993 XSB/cmplib/inprog.O rw-r--r-- 5237/5237 8920 Sep 13 12:31 1993 XSB/cmplib/inprog.P rw-r--r-- 5237/5237 1299 Sep 13 12:31 1993 XSB/cmplib/listutil.H rw-r--r-- 5237/5237 7523 Sep 13 12:31 1993 XSB/cmplib/asm_inst.P rw-r--r-- 5237/5237 2892 Sep 13 12:31 1993 XSB/cmplib/listutil.P r--r--r-- 5237/5237 1720 Sep 13 12:31 1993 XSB/cmplib/parse.H rw-r--r-- 5237/5237 1222 Sep 13 12:31 1993 XSB/cmplib/peephole.H rw-r--r-- 5237/5237 6446 Sep 13 12:31 1993 XSB/cmplib/peephole.O rw-r--r-- 5237/5237 8726 Sep 13 12:31 1993 XSB/cmplib/peephole.P rw-r--r-- 5237/5237 1144 Sep 13 12:31 1993 XSB/cmplib/pre_cond.H rw-r--r-- 5237/5237 1702 Sep 13 12:31 1993 XSB/cmplib/pre_cond.O rw-r--r-- 5237/5237 3252 Sep 13 12:31 1993 XSB/cmplib/pre_cond.P rw-r--r-- 5237/5237 1423 Sep 13 12:31 1993 XSB/cmplib/preprocess.H rw-r--r-- 5237/5237 6457 Sep 13 12:31 1993 XSB/cmplib/preprocess.O rw-r--r-- 5237/5237 10328 Sep 13 12:31 1993 XSB/cmplib/preprocess.P rw-r--r-- 5237/5237 1451 Sep 13 12:31 1993 XSB/cmplib/printresult.H rw-r--r-- 5237/5237 2941 Sep 13 12:31 1993 XSB/cmplib/printresult.O rw-r--r-- 5237/5237 5374 Sep 13 12:31 1993 XSB/cmplib/prof_cp.P rw-r--r-- 5237/5237 3735 Sep 13 12:31 1993 XSB/cmplib/printresult.P rw-r--r-- 5237/5237 1703 Sep 13 12:31 1993 XSB/cmplib/prof_sbp.H rw-r--r-- 5237/5237 1578 Sep 13 12:31 1993 XSB/cmplib/tprog.H rw-r--r-- 5237/5237 6897 Sep 13 12:31 1993 XSB/cmplib/compile.O rw-r--r-- 5237/5237 6507 Sep 13 12:31 1993 XSB/cmplib/tprog.O rw-r--r-- 5237/5237 5017 Sep 13 12:31 1993 XSB/cmplib/prof_sbp.P rw-r--r-- 5237/5237 4827 Sep 13 12:31 1993 XSB/cmplib/prof_sepia.P rw-r--r-- 5237/5237 5232 Sep 13 12:31 1993 XSB/cmplib/prof_sics.P rw-r--r-- 5237/5237 1167 Sep 13 12:31 1993 XSB/cmplib/singleton.H rw-r--r-- 5237/5237 1778 Sep 13 12:31 1993 XSB/cmplib/singleton.O rw-r--r-- 5237/5237 3155 Sep 13 12:31 1993 XSB/cmplib/singleton.P rw-r--r-- 5237/5237 1844 Sep 13 12:31 1993 XSB/cmplib/symtab.H rw-r--r-- 5237/5237 8936 Sep 13 12:31 1993 XSB/cmplib/symtab.O rw-r--r-- 5237/5237 16180 Sep 13 12:31 1993 XSB/cmplib/symtab.P rw-r--r-- 5237/5237 1492 Sep 13 12:31 1993 XSB/cmplib/tp_cond.H rw-r--r-- 5237/5237 3120 Sep 13 12:31 1993 XSB/cmplib/tp_cond.O rw-r--r-- 5237/5237 4623 Sep 13 12:31 1993 XSB/cmplib/tp_cond.P rw-r--r-- 5237/5237 1465 Sep 13 12:31 1993 XSB/cmplib/tp_eval.H rw-r--r-- 5237/5237 5075 Sep 13 12:31 1993 XSB/cmplib/tp_eval.O rw-r--r-- 5237/5237 5942 Sep 13 12:31 1993 XSB/cmplib/tp_eval.P rw-r--r-- 5237/5237 1543 Sep 13 12:31 1993 XSB/cmplib/tp_geninline.H rw-r--r-- 5237/5237 4820 Sep 13 12:31 1993 XSB/cmplib/tp_geninline.O rw-r--r-- 5237/5237 6662 Sep 13 12:31 1993 XSB/cmplib/tp_geninline.P rw-r--r-- 5237/5237 1544 Sep 13 12:31 1993 XSB/cmplib/tp_goal.H rw-r--r-- 5237/5237 5045 Sep 13 12:31 1993 XSB/cmplib/tp_goal.O rw-r--r-- 5237/5237 6186 Sep 13 12:31 1993 XSB/cmplib/tp_goal.P rw-r--r-- 5237/5237 1331 Sep 13 12:31 1993 XSB/cmplib/tp_index.H rw-r--r-- 5237/5237 6076 Sep 13 12:31 1993 XSB/cmplib/tp_index.O rw-r--r-- 5237/5237 10449 Sep 13 12:32 1993 XSB/cmplib/tp_index.P rw-r--r-- 5237/5237 12213 Sep 13 12:32 1993 XSB/cmplib/tprog.P rw-r--r-- 5237/5237 1568 Sep 13 12:32 1993 XSB/cmplib/tp_var.H rw-r--r-- 5237/5237 6184 Sep 13 12:32 1993 XSB/cmplib/tp_var.O rw-r--r-- 5237/5237 8129 Sep 13 12:32 1993 XSB/cmplib/tp_var.P rw-r--r-- 5237/5237 1253 Sep 13 12:32 1993 XSB/cmplib/cp_opt.H rw-r--r-- 5237/5237 2969 Sep 13 12:32 1993 XSB/cmplib/cp_opt.O rw-r--r-- 5237/5237 4161 Sep 13 12:32 1993 XSB/cmplib/cp_opt.P rw-r--r-- 5237/5237 1393 Sep 13 12:32 1993 XSB/cmplib/listutil.O rw-r--r-- 5237/5237 1117 Sep 13 12:32 1993 XSB/cmplib/asm_opt.H rw-r--r-- 5237/5237 2154 Sep 13 12:32 1993 XSB/cmplib/asm_opt.O rw-r--r-- 5237/5237 2736 Sep 13 12:32 1993 XSB/cmplib/prof_sbp.O rw-r--r-- 5237/5237 4868 Sep 13 12:32 1993 XSB/cmplib/writeasm.P rw-r--r-- 5237/5237 5203 Sep 13 12:32 1993 XSB/cmplib/asm_opt.P rw-r--r-- 5237/5237 1408 Sep 13 12:32 1993 XSB/cmplib/useinfer.H rw-r--r-- 5237/5237 10050 Sep 13 12:32 1993 XSB/cmplib/useinfer.P rw-r--r-- 5237/5237 1550 Sep 13 12:32 1993 XSB/cmplib/varproc.H rw-r--r-- 5237/5237 10497 Sep 13 12:32 1993 XSB/cmplib/varproc.O rw-r--r-- 5237/5237 17205 Sep 13 12:32 1993 XSB/cmplib/varproc.P rw-r--r-- 5237/5237 1410 Sep 13 12:32 1993 XSB/cmplib/writeasm.H rw-r--r-- 5237/5237 5159 Sep 13 12:32 1993 XSB/cmplib/writeasm.O rw-r--r-- 5237/5237 1172 Sep 13 12:32 1993 XSB/cmplib/build_graph.H rw-r--r-- 5237/5237 7250 Sep 13 12:32 1993 XSB/cmplib/build_graph.O rw-r--r-- 5237/5237 7726 Sep 13 12:32 1993 XSB/cmplib/build_graph.P rw-r--r-- 5237/5237 1126 Sep 13 12:32 1993 XSB/cmplib/tabdef.H rw-r--r-- 5237/5237 8481 Sep 13 12:32 1993 XSB/cmplib/tabdef.O rw-r--r-- 5237/5237 9838 Sep 13 12:32 1993 XSB/cmplib/tabdef.P rwxr-xr-x 5237/5237 0 Sep 13 12:32 1993 XSB/examples/ rw-r--r-- 5237/5237 633 Sep 13 12:32 1993 XSB/examples/Makefile rw-r--r-- 5237/5237 56 Sep 13 12:32 1993 XSB/examples/farmer.H rw-r--r-- 5237/5237 2973 Sep 13 12:32 1993 XSB/examples/farmer.P rw-r--r-- 5237/5237 2218 Sep 13 12:32 1993 XSB/examples/README rw-r--r-- 5237/5237 615 Sep 13 12:32 1993 XSB/examples/fib.O rw-r--r-- 5237/5237 2009 Sep 13 12:32 1993 XSB/examples/farmer.O rw-r--r-- 5237/5237 1385 Sep 13 12:32 1993 XSB/examples/fib.P rw-r--r-- 5237/5237 3604 Sep 13 12:32 1993 XSB/examples/ham.O rw-r--r-- 5237/5237 2467 Sep 13 12:32 1993 XSB/examples/houses.O rw-r--r-- 5237/5237 671 Sep 13 12:32 1993 XSB/examples/qsort.O rw-r--r-- 5237/5237 49 Sep 13 12:32 1993 XSB/examples/ham.H rw-r--r-- 5237/5237 3267 Sep 13 12:32 1993 XSB/examples/ham.P rw-r--r-- 5237/5237 135 Sep 13 12:32 1993 XSB/examples/houses.H rw-r--r-- 5237/5237 4592 Sep 13 12:32 1993 XSB/examples/houses.P rw-r--r-- 5237/5237 16 Sep 13 12:32 1993 XSB/examples/lips_mega.H rw-r--r-- 5237/5237 1455 Sep 13 12:32 1993 XSB/examples/lips_mega.P rw-r--r-- 5237/5237 65 Sep 13 12:32 1993 XSB/examples/mandel.H rw-r--r-- 5237/5237 3654 Sep 13 12:32 1993 XSB/examples/mandel.P rw-r--r-- 5237/5237 56 Sep 13 12:32 1993 XSB/examples/map.H rw-r--r-- 5237/5237 2354 Sep 13 12:32 1993 XSB/examples/map.P rw-r--r-- 5237/5237 17 Sep 13 12:32 1993 XSB/examples/nrev.H rw-r--r-- 5237/5237 1013 Sep 13 12:32 1993 XSB/examples/nrev.P rw-r--r-- 5237/5237 1643 Sep 13 12:32 1993 XSB/examples/qsort.P rw-r--r-- 5237/5237 54 Sep 13 12:32 1993 XSB/examples/queens.H rw-r--r-- 5237/5237 2615 Sep 13 12:32 1993 XSB/examples/queens.P rw-r--r-- 5237/5237 2535 Sep 13 12:32 1993 XSB/examples/first.O rw-r--r-- 5237/5237 24 Sep 13 12:32 1993 XSB/examples/hello.O rw-r--r-- 5237/5237 2006 Sep 13 12:32 1993 XSB/examples/first.P rw-r--r-- 5237/5237 1367 Sep 13 12:32 1993 XSB/examples/queens.O rw-r--r-- 5237/5237 2237 Sep 13 12:32 1993 XSB/examples/mandel.O rw-r--r-- 5237/5237 1819 Sep 13 12:32 1993 XSB/examples/map.O rw-r--r-- 5237/5237 1453 Sep 13 12:32 1993 XSB/examples/nrev.O rw-r--r-- 5237/5237 718 Sep 13 12:32 1993 XSB/examples/lips_mega.O rw-r--r-- 5237/5237 10562 Sep 13 12:32 1993 XSB/examples/parser.O rw-r--r-- 5237/5237 10402 Sep 13 12:32 1993 XSB/examples/parser.P rw-r--r-- 5237/5237 7047 Sep 13 12:32 1993 XSB/examples/ptq.O rw-r--r-- 5237/5237 6287 Sep 13 12:32 1993 XSB/examples/ptq.P rw-r--r-- 5237/5237 1333 Sep 13 12:32 1993 XSB/examples/ptq_examples.O rw-r--r-- 5237/5237 1839 Sep 13 12:32 1993 XSB/examples/ptq_examples.P rw-r--r-- 5237/5237 752 Sep 13 12:32 1993 XSB/examples/ptq_utils.O rw-r--r-- 5237/5237 1637 Sep 13 12:32 1993 XSB/examples/ptq_utils.P rw-r--r-- 5237/5237 4120 Sep 13 12:32 1993 XSB/examples/ptqlex.O rw-r--r-- 5237/5237 2595 Sep 13 12:32 1993 XSB/examples/ptqlex.P rw-r--r-- 5237/5237 1284 Sep 13 12:32 1993 XSB/examples/shortest_path.O rw-r--r-- 5237/5237 1781 Sep 13 12:32 1993 XSB/examples/shortest_path.P rw-r--r-- 5237/5237 9488 Sep 13 12:32 1993 XSB/examples/wf_examples rw-r--r-- 5237/5237 2788 Sep 13 12:32 1993 XSB/examples/wfs.O rw-r--r-- 5237/5237 3223 Sep 13 12:32 1993 XSB/examples/wfs.P rw-r--r-- 5237/5237 25 Sep 13 12:32 1993 XSB/examples/file_expand.H rw-r--r-- 5237/5237 2249 Sep 13 12:32 1993 XSB/examples/file_expand.c rw-r--r-- 5237/5237 20 Sep 13 12:32 1993 XSB/examples/hello.H rw-r--r-- 5237/5237 63 Sep 13 12:32 1993 XSB/examples/hello.c rw-r--r-- 5237/5237 176 Sep 13 12:32 1993 XSB/examples/hello.o rw-r--r-- 5237/5237 38 Sep 13 12:32 1993 XSB/examples/simple_foreign.H rw-r--r-- 5237/5237 52 Sep 13 12:32 1993 XSB/examples/simple_foreign.O rw-r--r-- 5237/5237 784 Sep 13 12:32 1993 XSB/examples/simple_foreign.c rw-r--r-- 5237/5237 596 Sep 13 12:32 1993 XSB/examples/simple_foreign.o rw-r--r-- 5237/5237 1516 Sep 13 12:32 1993 XSB/examples/file_expand.o rw-r--r-- 5237/5237 36 Sep 13 12:32 1993 XSB/examples/file_expand.O rwxr-xr-x 5237/5237 0 Sep 13 12:39 1993 XSB/lib/ rw-r--r-- 5237/5237 1572 Sep 13 12:32 1993 XSB/lib/dbcmpl.O rw-r--r-- 5237/5237 3312 Sep 13 12:32 1993 XSB/lib/array.P rw-r--r-- 5237/5237 883 Sep 13 12:32 1993 XSB/lib/array.O rw-r--r-- 5237/5237 3239 Sep 13 12:32 1993 XSB/lib/unix.P rw-r--r-- 5237/5237 315 Sep 13 12:33 1993 XSB/lib/array1.O rw-r--r-- 5237/5237 3484 Sep 13 12:33 1993 XSB/lib/dbcmpl.P rw-r--r-- 5237/5237 4067 Sep 13 12:33 1993 XSB/lib/db.P rw-r--r-- 5237/5237 8388 Sep 13 12:33 1993 XSB/lib/basics.P rw-r--r-- 5237/5237 6650 Sep 13 12:33 1993 XSB/lib/basics.O rw-r--r-- 5237/5237 7489 Sep 13 12:33 1993 XSB/lib/assert.O rw-r--r-- 5237/5237 2353 Sep 13 12:33 1993 XSB/lib/copyterm.O rw-r--r-- 5237/5237 5309 Sep 13 12:33 1993 XSB/lib/copyterm.P rw-r--r-- 5237/5237 4919 Sep 13 12:33 1993 XSB/lib/eval.P rw-r--r-- 5237/5237 9339 Sep 13 12:33 1993 XSB/lib/dbclause.O rw-r--r-- 5237/5237 11823 Sep 13 12:33 1993 XSB/lib/tables.P rw-r--r-- 5237/5237 15701 Sep 13 12:33 1993 XSB/lib/dbclause.P rw-r--r-- 5237/5237 2335 Sep 13 12:33 1993 XSB/lib/delaylib.P rw-r--r-- 5237/5237 1143 Sep 13 12:33 1993 XSB/lib/delaylib.O rw-r--r-- 5237/5237 5633 Sep 13 12:33 1993 XSB/lib/domain.P rw-r--r-- 5237/5237 5057 Sep 13 12:33 1993 XSB/lib/domain.O rw-r--r-- 5237/5237 3381 Sep 13 12:33 1993 XSB/lib/eval.O rw-r--r-- 5237/5237 1188 Sep 13 12:33 1993 XSB/lib/db.O rw-r--r-- 5237/5237 2934 Sep 13 12:33 1993 XSB/lib/foreign.O rw-r--r-- 5237/5237 4466 Sep 13 12:33 1993 XSB/lib/foreign.P rw-r--r-- 5237/5237 4227 Sep 13 12:33 1993 XSB/lib/record.O rw-r--r-- 5237/5237 6149 Sep 13 12:33 1993 XSB/lib/record.P rw-r--r-- 5237/5237 7494 Sep 13 12:33 1993 XSB/lib/setof.P rw-r--r-- 5237/5237 5644 Sep 13 12:33 1993 XSB/lib/setof.O rw-r--r-- 5237/5237 2349 Sep 13 12:33 1993 XSB/lib/array1.P rw-r--r-- 5237/5237 9021 Sep 13 12:33 1993 XSB/lib/tables.O rw-r--r-- 5237/5237 9289 Sep 13 12:33 1993 XSB/lib/consult.P rw-r--r-- 5237/5237 1913 Sep 13 12:33 1993 XSB/lib/unix.O rw-r--r-- 5237/5237 5425 Sep 13 12:33 1993 XSB/lib/consult.O rw-r--r-- 5237/5237 1429 Sep 13 12:33 1993 XSB/lib/dbclause.H rw-r--r-- 5237/5237 2611 Sep 13 12:33 1993 XSB/lib/prof_lib.O rw-r--r-- 5237/5237 4362 Sep 13 12:33 1993 XSB/lib/prof_lib.P r--r--r-- 5237/5237 1272 Sep 13 12:33 1993 XSB/lib/Makefile rw-r--r-- 5237/5237 1041 Sep 13 12:33 1993 XSB/lib/numbervars.H rw-r--r-- 5237/5237 722 Sep 13 12:33 1993 XSB/lib/numbervars.O rw-r--r-- 5237/5237 2123 Sep 13 12:33 1993 XSB/lib/numbervars.P rw-r--r-- 5237/5237 1167 Sep 13 12:33 1993 XSB/lib/subsumes.H rw-r--r-- 5237/5237 1483 Sep 13 12:33 1993 XSB/lib/subsumes.O rw-r--r-- 5237/5237 2932 Sep 13 12:33 1993 XSB/lib/subsumes.P rw-r--r-- 5237/5237 18814 Sep 13 12:33 1993 XSB/lib/assert.P rwxr-xr-x 5237/5237 0 Sep 14 15:05 1993 XSB/manual/ rw-r--r-- 5237/5237 1341 Sep 14 15:04 1993 XSB/manual/Acknowledgement.tex rw-r--r-- 5237/5237 47621 Sep 14 15:04 1993 XSB/manual/builtin.tex rw-r--r-- 5237/5237 5430 Sep 14 15:04 1993 XSB/manual/comparison.tex rw-r--r-- 5237/5237 17720 Sep 14 15:04 1993 XSB/manual/compiler.tex rw-r--r-- 5237/5237 714 Sep 14 15:04 1993 XSB/manual/contact.tex rw-r--r-- 5237/5237 18247 Sep 14 15:04 1993 XSB/manual/dcg.tex rw-r--r-- 5237/5237 5718 Sep 14 15:04 1993 XSB/manual/debugging.tex rw-r--r-- 5237/5237 797670 Sep 14 15:04 1993 XSB/manual/manual.ps rw-r--r-- 5237/5237 2333 Sep 14 15:04 1993 XSB/manual/manual.log rw-r--r-- 5237/5237 5871 Sep 14 15:04 1993 XSB/manual/foreign.tex rw-r--r-- 5237/5237 9068 Sep 14 15:04 1993 XSB/manual/introduction.tex rw-r--r-- 5237/5237 15300 Sep 14 15:04 1993 XSB/manual/library.tex rw-r--r-- 5237/5237 5032 Sep 14 15:04 1993 XSB/manual/loader.tex rw-r--r-- 5237/5237 5690 Sep 14 15:04 1993 XSB/manual/manual.tex rw-r--r-- 5237/5237 1392 Sep 14 15:04 1993 XSB/manual/module_list.tex rw-r--r-- 5237/5237 6743 Sep 14 15:04 1993 XSB/manual/modules.tex rw-r--r-- 5237/5237 1614 Sep 14 15:04 1993 XSB/manual/non_supported.tex rw-r--r-- 5237/5237 6702 Sep 14 15:04 1993 XSB/manual/optimize.tex rw-r--r-- 5237/5237 4245 Sep 14 15:04 1993 XSB/manual/primitive_pred.tex rw-r--r-- 5237/5237 344580 Sep 14 15:04 1993 XSB/manual/manual.dvi rw-r--r-- 5237/5237 6604 Sep 14 15:04 1993 XSB/manual/quick_start.tex rw-r--r-- 5237/5237 33293 Sep 14 15:04 1993 XSB/manual/rest_builtin.tex rw-r--r-- 5237/5237 5088 Sep 14 15:04 1993 XSB/manual/restrictions.tex rw-r--r-- 5237/5237 9794 Sep 14 15:04 1993 XSB/manual/standard_pred.tex rw-r--r-- 5237/5237 27243 Sep 14 15:04 1993 XSB/manual/state.tex rw-r--r-- 5237/5237 21416 Sep 14 15:04 1993 XSB/manual/syntax.tex rw-r--r-- 5237/5237 21015 Sep 14 15:04 1993 XSB/manual/system.tex rw-r--r-- 5237/5237 15784 Sep 14 15:05 1993 XSB/manual/tables.tex rw-r--r-- 5237/5237 14672 Sep 14 15:05 1993 XSB/manual/manual.aux rw-r--r-- 5237/5237 6126 Sep 14 15:05 1993 XSB/manual/manual.toc rw-r--r-- 5237/5237 47621 Sep 14 15:05 1993 XSB/manual/builtin.tex~ rwxr-xr-x 5237/5237 0 Sep 13 12:39 1993 XSB/syslib/ rw-r--r-- 5237/5237 6437 Sep 13 12:34 1993 XSB/syslib/dcg_qsc.P r--r--r-- 5237/5237 1126 Sep 13 12:34 1993 XSB/syslib/dcg.H r--r--r-- 5237/5237 7017 Sep 13 12:34 1993 XSB/syslib/dcg.P r--r--r-- 5237/5237 1223 Sep 13 12:34 1993 XSB/syslib/Makefile r--r--r-- 5237/5237 2149 Sep 13 12:34 1993 XSB/syslib/interpreter.H rw-r--r-- 5237/5237 8112 Sep 13 12:34 1993 XSB/syslib/file_op.P r--r--r-- 5237/5237 31915 Sep 13 12:34 1993 XSB/syslib/file_read.P r--r--r-- 5237/5237 15100 Sep 13 12:34 1993 XSB/syslib/file_readtoken.P r--r--r-- 5237/5237 23509 Sep 13 12:34 1993 XSB/syslib/file_write.P r--r--r-- 5237/5237 4686 Sep 13 12:34 1993 XSB/syslib/loader.P r--r--r-- 5237/5237 11119 Sep 13 12:34 1993 XSB/syslib/debugger.P rw-r--r-- 5237/5237 3860 Sep 13 12:34 1993 XSB/syslib/standard.H r--r--r-- 5237/5237 1379 Sep 13 12:34 1993 XSB/syslib/std_sbp.H rw-r--r-- 5237/5237 2078 Sep 13 12:34 1993 XSB/syslib/string.O rw-r--r-- 5237/5237 5110 Sep 14 14:54 1993 XSB/syslib/machine.O rw-r--r-- 5237/5237 3159 Sep 13 12:34 1993 XSB/syslib/loader.O rw-r--r-- 5237/5237 9143 Sep 13 12:34 1993 XSB/syslib/interpreter.O rw-r--r-- 5237/5237 17710 Sep 13 12:34 1993 XSB/syslib/file_read.O rw-r--r-- 5237/5237 6724 Sep 13 12:34 1993 XSB/syslib/file_op.O rw-r--r-- 5237/5237 11049 Sep 13 12:34 1993 XSB/syslib/debugger.O rw-r--r-- 5237/5237 17343 Sep 13 12:34 1993 XSB/syslib/file_write.O rw-r--r-- 5237/5237 26125 Sep 13 12:34 1993 XSB/syslib/standard.P rw-r--r-- 5237/5237 7029 Sep 13 12:34 1993 XSB/syslib/file_readtoken.O rw-r--r-- 5237/5237 3205 Sep 14 14:54 1993 XSB/syslib/machine.H r--r--r-- 5237/5237 1551 Sep 13 12:34 1993 XSB/syslib/hilog_symbol.P r--r--r-- 5237/5237 12546 Sep 13 12:34 1993 XSB/syslib/interpreter.P r--r--r-- 5237/5237 2218 Sep 13 12:34 1993 XSB/syslib/loader.H rw-r--r-- 5237/5237 111 Sep 13 12:34 1993 XSB/syslib/term_expansion.O r--r--r-- 5237/5237 1436 Sep 13 12:34 1993 XSB/syslib/file_write.H r--r--r-- 5237/5237 1861 Sep 13 12:34 1993 XSB/syslib/file_read.H rw-r--r-- 5237/5237 13796 Sep 13 12:34 1993 XSB/syslib/std_sbp.O rw-r--r-- 5237/5237 7896 Sep 13 12:34 1993 XSB/syslib/current_symbols.O r--r--r-- 5237/5237 1127 Sep 13 12:34 1993 XSB/syslib/hilog_symbol.H rw-r--r-- 5237/5237 7719 Sep 14 14:54 1993 XSB/syslib/machine.P rw-r--r-- 5237/5237 749 Sep 13 12:34 1993 XSB/syslib/hilog_symbol.O rw-r--r-- 5237/5237 25352 Sep 13 12:34 1993 XSB/syslib/standard.O rw-r--r-- 5237/5237 11644 Sep 13 12:34 1993 XSB/syslib/std_sbp.P r--r--r-- 5237/5237 1363 Sep 13 12:34 1993 XSB/syslib/string.H r--r--r-- 5237/5237 1915 Sep 13 12:34 1993 XSB/syslib/debugger.H r--r--r-- 5237/5237 1503 Sep 13 12:34 1993 XSB/syslib/file_readtoken.H r--r--r-- 5237/5237 17053 Sep 13 12:34 1993 XSB/syslib/current_symbols.P rw-r--r-- 5237/5237 3791 Sep 13 12:34 1993 XSB/syslib/dcg.O r--r--r-- 5237/5237 3390 Sep 13 12:34 1993 XSB/syslib/string.P r--r--r-- 5237/5237 1030 Sep 13 12:34 1993 XSB/syslib/term_expansion.P rw-r--r-- 5237/5237 1751 Sep 13 12:34 1993 XSB/syslib/file_op.H r--r--r-- 5237/5237 1028 Sep 13 12:34 1993 XSB/syslib/term_expansion.H r--r--r-- 5237/5237 1857 Sep 13 12:34 1993 XSB/syslib/current_symbols.H rwxr-xr-x 5237/5237 0 Sep 13 14:09 1993 XSB/emu/ rw-r--r-- 5237/5237 7683 Sep 13 12:49 1993 XSB/emu/Makefile rw-r--r-- 5237/5237 2373 Sep 13 12:42 1993 XSB/emu/aux.c rw-r--r-- 5237/5237 3362 Sep 13 12:42 1993 XSB/emu/aux.h rw-r--r-- 5237/5237 17327 Sep 13 12:42 1993 XSB/emu/choice.h rw-r--r-- 5237/5237 5657 Sep 13 12:42 1993 XSB/emu/cutils.c rw-r--r-- 5237/5237 27514 Sep 13 12:43 1993 XSB/emu/debug.c rw-r--r-- 5237/5237 7208 Sep 13 12:43 1993 XSB/emu/dis.c rw-r--r-- 5237/5237 1977 Sep 13 12:43 1993 XSB/emu/deref.h rw-r--r-- 5237/5237 13636 Sep 13 12:43 1993 XSB/emu/inst.c rw-r--r-- 5237/5237 7379 Sep 13 12:43 1993 XSB/emu/dynload.c rw-r--r-- 5237/5237 8497 Sep 13 12:43 1993 XSB/emu/emusubs.i rw-r--r-- 5237/5237 3777 Sep 13 12:43 1993 XSB/emu/flags.h rw-r--r-- 5237/5237 2237 Sep 13 12:43 1993 XSB/emu/heap.h rw-r--r-- 5237/5237 12503 Sep 13 12:43 1993 XSB/emu/init.c rw-r--r-- 5237/5237 8863 Sep 13 12:43 1993 XSB/emu/inst.h rw-r--r-- 5237/5237 8296 Sep 13 12:43 1993 XSB/emu/cell.h rw-r--r-- 5237/5237 9694 Sep 13 12:43 1993 XSB/emu/hashindex.h rw-r--r-- 5237/5237 31042 Sep 13 12:43 1993 XSB/emu/main.c rw-r--r-- 5237/5237 12711 Sep 13 12:43 1993 XSB/emu/loader.c rw-r--r-- 5237/5237 1200 Sep 13 12:43 1993 XSB/emu/loader.h rw-r--r-- 5237/5237 1468 Sep 13 12:43 1993 XSB/emu/subinst.h rw-r--r-- 5237/5237 4501 Sep 13 12:43 1993 XSB/emu/memory.c rw-r--r-- 5237/5237 2595 Sep 13 12:43 1993 XSB/emu/memory.h rw-r--r-- 5237/5237 5509 Sep 13 12:43 1993 XSB/emu/mysyscall.h rw-r--r-- 5237/5237 8251 Sep 13 12:43 1993 XSB/emu/psc.c rw-r--r-- 5237/5237 4543 Sep 13 12:43 1993 XSB/emu/psc.h rw-r--r-- 5237/5237 2422 Sep 13 12:43 1993 XSB/emu/register.h rw-r--r-- 5237/5237 2534 Sep 13 12:43 1993 XSB/emu/sig.h rw-r--r-- 5237/5237 16933 Sep 13 12:43 1993 XSB/emu/subp.c rw-r--r-- 5237/5237 4392 Sep 13 12:43 1993 XSB/emu/system.c rw-r--r-- 5237/5237 36218 Sep 13 12:43 1993 XSB/emu/token.c rw-r--r-- 5237/5237 3864 Sep 13 12:43 1993 XSB/emu/token.h rw-r--r-- 5237/5237 5147 Sep 13 12:43 1993 XSB/emu/trace.c rw-r--r-- 5237/5237 5539 Sep 13 12:43 1993 XSB/emu/unify.i rw-r--r-- 5237/5237 23581 Sep 13 12:43 1993 XSB/emu/xinst_macros.i rw-r--r-- 5237/5237 30557 Sep 13 12:43 1993 XSB/emu/xmacro.h rw-r--r-- 5237/5237 4496 Sep 13 12:43 1993 XSB/emu/function.c rw-r--r-- 5237/5237 7824 Sep 13 12:43 1993 XSB/emu/cinterf.h rw-r--r-- 5237/5237 16716 Sep 13 12:43 1993 XSB/emu/cinterf.c rw-r--r-- 5237/5237 4603 Sep 13 12:43 1993 XSB/emu/binding.h rw-r--r-- 5237/5237 5206 Sep 13 12:43 1993 XSB/emu/xinst_funls.c rw-r--r-- 5237/5237 2539 Sep 13 12:43 1993 XSB/emu/emudef.h rw-r--r-- 5237/5237 1765 Sep 13 12:43 1993 XSB/emu/xinst_funsi.c rw-r--r-- 5237/5237 15399 Sep 13 12:43 1993 XSB/emu/load_seg.c rw-r--r-- 5237/5237 84950 Sep 13 12:43 1993 XSB/emu/builtin.c rw-r--r-- 5237/5237 2033 Sep 13 12:45 1993 XSB/emu/xinst_funv.c rw-r--r-- 5237/5237 1607 Sep 13 12:45 1993 XSB/emu/config_make.h rwxr-xr-x 5237/5237 5308 Sep 14 12:14 1993 XSB/makeall rw-r--r-- 5237/5237 69 Jul 28 14:21 1993 XSB/registration rw-r--r-- 5237/5237 4715 Sep 13 12:28 1993 XSB/README rw-r--r-- 5237/5237 6039 Jul 28 14:20 1993 XSB/LICENSE