rwxr-xr-x 4273/0 0 Jul 10 20:55 1994 unsw_pl/ rw-r--r-- 4273/0 15117 Jul 10 20:55 1994 unsw_pl/CONTENTS rwxr-xr-x 4273/0 0 Jul 10 20:56 1994 unsw_pl/Prolog/ rw-r--r-- 4273/0 6331 Jan 14 11:47 1993 unsw_pl/Prolog/AMIGA.notes rw-r--r-- 4273/0 835 Jan 14 11:53 1993 unsw_pl/Prolog/AMIGA.notes.info rwxr-xr-x 4273/0 0 Jul 10 20:55 1994 unsw_pl/Prolog/help/ rw-r--r-- 4273/0 43 May 22 05:16 1992 unsw_pl/Prolog/help/= rw-r--r-- 4273/0 358 May 22 05:16 1992 unsw_pl/Prolog/help/=.. rw-r--r-- 4273/0 202 May 22 05:16 1992 unsw_pl/Prolog/help/ancestors rw-r--r-- 4273/0 17 May 22 05:16 1992 unsw_pl/Prolog/help/and rw-r--r-- 4273/0 303 May 22 05:16 1992 unsw_pl/Prolog/help/arg rw-r--r-- 4273/0 1528 May 22 05:17 1992 unsw_pl/Prolog/help/arithmetic rw-r--r-- 4273/0 206 May 22 05:17 1992 unsw_pl/Prolog/help/ascii rw-r--r-- 4273/0 407 Dec 28 04:08 1992 unsw_pl/Prolog/help/ash rw-r--r-- 4273/0 191 May 22 05:17 1992 unsw_pl/Prolog/help/ask rw-r--r-- 4273/0 329 May 22 05:17 1992 unsw_pl/Prolog/help/assert rw-r--r-- 4273/0 113 May 22 05:17 1992 unsw_pl/Prolog/help/asserta rw-r--r-- 4273/0 113 May 22 05:18 1992 unsw_pl/Prolog/help/assertz rw-r--r-- 4273/0 134 May 22 05:18 1992 unsw_pl/Prolog/help/atom rw-r--r-- 4273/0 79 May 22 05:18 1992 unsw_pl/Prolog/help/atomic rw-r--r-- 4273/0 377 May 22 05:18 1992 unsw_pl/Prolog/help/backtrace rw-r--r-- 4273/0 388 May 22 05:18 1992 unsw_pl/Prolog/help/bagof rw-r--r-- 4273/0 80 May 22 05:18 1992 unsw_pl/Prolog/help/char rw-r--r-- 4273/0 285 May 22 05:18 1992 unsw_pl/Prolog/help/clause rw-r--r-- 4273/0 3697 May 22 05:18 1992 unsw_pl/Prolog/help/clauses rw-r--r-- 4273/0 374 May 22 05:19 1992 unsw_pl/Prolog/help/close rw-r--r-- 4273/0 91 May 22 05:19 1992 unsw_pl/Prolog/help/comparing_atom rw-r--r-- 4273/0 1000 May 22 05:19 1992 unsw_pl/Prolog/help/compound_terms rw-r--r-- 4273/0 377 May 22 05:19 1992 unsw_pl/Prolog/help/concat rw-r--r-- 4273/0 821 May 22 05:19 1992 unsw_pl/Prolog/help/constants rw-r--r-- 4273/0 382 May 22 05:19 1992 unsw_pl/Prolog/help/consult rw-r--r-- 4273/0 133 May 22 05:19 1992 unsw_pl/Prolog/help/cputime rw-r--r-- 4273/0 72 May 22 05:20 1992 unsw_pl/Prolog/help/current_input rw-r--r-- 4273/0 74 May 22 05:20 1992 unsw_pl/Prolog/help/current_output rw-r--r-- 4273/0 518 May 22 05:20 1992 unsw_pl/Prolog/help/current_stream rw-r--r-- 4273/0 1561 May 22 05:20 1992 unsw_pl/Prolog/help/cut rw-r--r-- 4273/0 2050 May 22 05:20 1992 unsw_pl/Prolog/help/directives rw-r--r-- 4273/0 477 May 22 05:21 1992 unsw_pl/Prolog/help/ed rw-r--r-- 4273/0 1249 May 22 05:21 1992 unsw_pl/Prolog/help/editing rw-r--r-- 4273/0 52 May 22 05:21 1992 unsw_pl/Prolog/help/ef rw-r--r-- 4273/0 51 May 22 05:21 1992 unsw_pl/Prolog/help/em rw-r--r-- 4273/0 77 May 22 05:21 1992 unsw_pl/Prolog/help/eof rw-r--r-- 4273/0 108 May 22 05:21 1992 unsw_pl/Prolog/help/exiting_prolog rw-r--r-- 4273/0 20 May 22 05:21 1992 unsw_pl/Prolog/help/fail rw-r--r-- 4273/0 211 May 22 05:21 1992 unsw_pl/Prolog/help/file rw-r--r-- 4273/0 198 May 22 05:21 1992 unsw_pl/Prolog/help/flush_output rw-r--r-- 4273/0 567 May 22 05:21 1992 unsw_pl/Prolog/help/functor rw-r--r-- 4273/0 102 May 22 05:21 1992 unsw_pl/Prolog/help/getc rw-r--r-- 4273/0 309 May 22 05:22 1992 unsw_pl/Prolog/help/if_then_else rw-r--r-- 4273/0 1976 May 22 05:22 1992 unsw_pl/Prolog/help/input_output rw-r--r-- 4273/0 60 May 22 05:22 1992 unsw_pl/Prolog/help/input_ready rw-r--r-- 4273/0 67 May 22 05:22 1992 unsw_pl/Prolog/help/integer rw-r--r-- 4273/0 921 May 22 05:22 1992 unsw_pl/Prolog/help/interrupts rw-r--r-- 4273/0 105 May 22 05:22 1992 unsw_pl/Prolog/help/length rw-r--r-- 4273/0 133 May 22 05:22 1992 unsw_pl/Prolog/help/listing rw-r--r-- 4273/0 717 May 22 05:23 1992 unsw_pl/Prolog/help/lists rw-r--r-- 4273/0 158 May 22 05:23 1992 unsw_pl/Prolog/help/load rw-r--r-- 4273/0 137 May 22 05:23 1992 unsw_pl/Prolog/help/member1 rw-r--r-- 4273/0 355 May 22 05:23 1992 unsw_pl/Prolog/help/name rw-r--r-- 4273/0 83 May 22 05:23 1992 unsw_pl/Prolog/help/nl rw-r--r-- 4273/0 77 May 22 05:23 1992 unsw_pl/Prolog/help/nonvar rw-r--r-- 4273/0 141 May 22 05:23 1992 unsw_pl/Prolog/help/not rw-r--r-- 4273/0 76 May 22 05:23 1992 unsw_pl/Prolog/help/number rw-r--r-- 4273/0 246 May 22 05:23 1992 unsw_pl/Prolog/help/numbervars rw-r--r-- 4273/0 435 May 22 05:23 1992 unsw_pl/Prolog/help/op rw-r--r-- 4273/0 268 May 22 05:24 1992 unsw_pl/Prolog/help/open rw-r--r-- 4273/0 4831 May 22 05:25 1992 unsw_pl/Prolog/help/operators rw-r--r-- 4273/0 27 May 22 05:26 1992 unsw_pl/Prolog/help/or rw-r--r-- 4273/0 135 May 22 05:26 1992 unsw_pl/Prolog/help/pp rw-r--r-- 4273/0 82 May 22 05:26 1992 unsw_pl/Prolog/help/prin rw-r--r-- 4273/0 452 May 22 05:26 1992 unsw_pl/Prolog/help/print rw-r--r-- 4273/0 1098 Jan 2 15:16 1993 unsw_pl/Prolog/help/process rw-r--r-- 4273/0 1082 May 22 05:27 1992 unsw_pl/Prolog/help/profiling rw-r--r-- 4273/0 4532 May 22 05:28 1992 unsw_pl/Prolog/help/programs rw-r--r-- 4273/0 244 May 22 05:28 1992 unsw_pl/Prolog/help/prompt rw-r--r-- 4273/0 98 May 22 05:28 1992 unsw_pl/Prolog/help/putc rw-r--r-- 4273/0 408 May 22 05:28 1992 unsw_pl/Prolog/help/ratom rw-r--r-- 4273/0 426 May 22 05:28 1992 unsw_pl/Prolog/help/read rw-r--r-- 4273/0 1359 May 22 05:28 1992 unsw_pl/Prolog/help/reading_files rw-r--r-- 4273/0 107 May 22 05:29 1992 unsw_pl/Prolog/help/rename rw-r--r-- 4273/0 172 May 22 05:29 1992 unsw_pl/Prolog/help/repeat rw-r--r-- 4273/0 324 May 22 05:29 1992 unsw_pl/Prolog/help/retract rw-r--r-- 4273/0 145 May 22 05:29 1992 unsw_pl/Prolog/help/retractall rw-r--r-- 4273/0 76 May 22 05:29 1992 unsw_pl/Prolog/help/save rw-r--r-- 4273/0 438 May 22 05:29 1992 unsw_pl/Prolog/help/see rw-r--r-- 4273/0 101 May 22 05:29 1992 unsw_pl/Prolog/help/seeing rw-r--r-- 4273/0 39 May 22 05:29 1992 unsw_pl/Prolog/help/seen rw-r--r-- 4273/0 591 May 28 01:47 1992 unsw_pl/Prolog/help/select rw-r--r-- 4273/0 63 May 22 05:29 1992 unsw_pl/Prolog/help/set_input rw-r--r-- 4273/0 65 May 22 05:29 1992 unsw_pl/Prolog/help/set_output rw-r--r-- 4273/0 132 May 22 05:29 1992 unsw_pl/Prolog/help/set_to rw-r--r-- 4273/0 208 Dec 28 04:08 1992 unsw_pl/Prolog/help/sh rw-r--r-- 4273/0 111 May 22 05:30 1992 unsw_pl/Prolog/help/skip rw-r--r-- 4273/0 812 May 22 05:30 1992 unsw_pl/Prolog/help/starting_up rw-r--r-- 4273/0 108 May 22 05:31 1992 unsw_pl/Prolog/help/statistics rw-r--r-- 4273/0 60 May 22 05:31 1992 unsw_pl/Prolog/help/stream rw-r--r-- 4273/0 228 May 22 05:31 1992 unsw_pl/Prolog/help/subgoal_of rw-r--r-- 4273/0 131 May 22 05:31 1992 unsw_pl/Prolog/help/system rw-r--r-- 4273/0 121 May 22 05:31 1992 unsw_pl/Prolog/help/tab rw-r--r-- 4273/0 457 May 22 05:31 1992 unsw_pl/Prolog/help/tell rw-r--r-- 4273/0 103 May 22 05:31 1992 unsw_pl/Prolog/help/telling rw-r--r-- 4273/0 117 May 22 05:31 1992 unsw_pl/Prolog/help/terms rw-r--r-- 4273/0 40 May 22 05:31 1992 unsw_pl/Prolog/help/told rw-r--r-- 4273/0 75 May 22 05:31 1992 unsw_pl/Prolog/help/tolower rw-r--r-- 4273/0 218 May 22 05:32 1992 unsw_pl/Prolog/help/trace rw-r--r-- 4273/0 1320 May 22 05:32 1992 unsw_pl/Prolog/help/tracing rw-r--r-- 4273/0 23 May 22 05:32 1992 unsw_pl/Prolog/help/true rw-r--r-- 4273/0 133 May 22 05:32 1992 unsw_pl/Prolog/help/unload rw-r--r-- 4273/0 1788 Jan 13 22:04 1993 unsw_pl/Prolog/help/UNSW rw-r--r-- 4273/0 80 May 22 05:32 1992 unsw_pl/Prolog/help/untrace rw-r--r-- 4273/0 65 May 22 05:32 1992 unsw_pl/Prolog/help/var rw-r--r-- 4273/0 670 May 22 05:33 1992 unsw_pl/Prolog/help/variables rw-r--r-- 4273/0 140 May 22 05:33 1992 unsw_pl/Prolog/help/write rw-r--r-- 4273/0 358 May 22 05:33 1992 unsw_pl/Prolog/help/X rwxr-xr-x 4273/0 0 Jul 10 20:56 1994 unsw_pl/Prolog/lib/ rw-r--r-- 4273/0 847 May 19 21:53 1992 unsw_pl/Prolog/lib/ac rw-r--r-- 4273/0 376 May 19 21:53 1992 unsw_pl/Prolog/lib/apple rw-r--r-- 4273/0 476 May 19 21:53 1992 unsw_pl/Prolog/lib/apple2 rw-r--r-- 4273/0 810 May 19 21:53 1992 unsw_pl/Prolog/lib/assemble rw-r--r-- 4273/0 1777 May 19 21:53 1992 unsw_pl/Prolog/lib/byte rw-r--r-- 4273/0 739 May 19 21:53 1992 unsw_pl/Prolog/lib/code.plan rw-r--r-- 4273/0 506 May 19 21:53 1992 unsw_pl/Prolog/lib/db rw-r--r-- 4273/0 464 May 19 21:53 1992 unsw_pl/Prolog/lib/dc rw-r--r-- 4273/0 1840 May 19 21:53 1992 unsw_pl/Prolog/lib/dcg rw-r--r-- 4273/0 1299 May 19 21:53 1992 unsw_pl/Prolog/lib/design rw-r--r-- 4273/0 595 May 19 21:53 1992 unsw_pl/Prolog/lib/diff rw-r--r-- 4273/0 3549 May 19 21:53 1992 unsw_pl/Prolog/lib/draw_tree rw-r--r-- 4273/0 917 May 19 21:53 1992 unsw_pl/Prolog/lib/english-logic rw-r--r-- 4273/0 1355 May 19 21:53 1992 unsw_pl/Prolog/lib/family rw-r--r-- 4273/0 5301 May 19 21:53 1992 unsw_pl/Prolog/lib/family2 rw-r--r-- 4273/0 2429 May 19 21:53 1992 unsw_pl/Prolog/lib/family_db rw-r--r-- 4273/0 247 May 19 21:53 1992 unsw_pl/Prolog/lib/findall rw-r--r-- 4273/0 565 May 19 21:53 1992 unsw_pl/Prolog/lib/giraffe rw-r--r-- 4273/0 7672 May 19 21:53 1992 unsw_pl/Prolog/lib/gvl rw-r--r-- 4273/0 557 May 19 21:53 1992 unsw_pl/Prolog/lib/hanoi rw-r--r-- 4273/0 3898 May 19 21:53 1992 unsw_pl/Prolog/lib/ijcai rw-r--r-- 4273/0 2046 May 19 21:53 1992 unsw_pl/Prolog/lib/interp rw-r--r-- 4273/0 442 May 19 21:53 1992 unsw_pl/Prolog/lib/lookup rw-r--r-- 4273/0 2352 May 19 21:53 1992 unsw_pl/Prolog/lib/mandc rw-r--r-- 4273/0 2149 May 19 21:53 1992 unsw_pl/Prolog/lib/membership rw-r--r-- 4273/0 614 May 19 21:53 1992 unsw_pl/Prolog/lib/neighbours rw-r--r-- 4273/0 827 May 19 21:53 1992 unsw_pl/Prolog/lib/NL rw-r--r-- 4273/0 2011 May 19 21:53 1992 unsw_pl/Prolog/lib/parse rw-r--r-- 4273/0 143 May 19 21:53 1992 unsw_pl/Prolog/lib/permute rw-r--r-- 4273/0 213 May 19 21:53 1992 unsw_pl/Prolog/lib/pretty rw-r--r-- 4273/0 852 May 19 21:53 1992 unsw_pl/Prolog/lib/queens rw-r--r-- 4273/0 193 May 19 21:53 1992 unsw_pl/Prolog/lib/random rw-r--r-- 4273/0 1667 May 19 21:53 1992 unsw_pl/Prolog/lib/rat rw-r--r-- 4273/0 1266 May 19 21:53 1992 unsw_pl/Prolog/lib/read_in rw-r--r-- 4273/0 353 May 19 21:53 1992 unsw_pl/Prolog/lib/rev.ex rw-r--r-- 4273/0 314 May 19 21:53 1992 unsw_pl/Prolog/lib/reverse rw-r--r-- 4273/0 698 May 19 21:53 1992 unsw_pl/Prolog/lib/robot.plan rw-r--r-- 4273/0 1310 May 19 21:53 1992 unsw_pl/Prolog/lib/short rw-r--r-- 4273/0 1673 May 19 21:53 1992 unsw_pl/Prolog/lib/simp rw-r--r-- 4273/0 1624 May 19 21:53 1992 unsw_pl/Prolog/lib/sort rw-r--r-- 4273/0 453 May 19 21:53 1992 unsw_pl/Prolog/lib/strips.plan rw-r--r-- 4273/0 632 May 19 21:53 1992 unsw_pl/Prolog/lib/time rw-r--r-- 4273/0 777 May 19 21:53 1992 unsw_pl/Prolog/lib/translate rw-r--r-- 4273/0 1307 May 19 21:53 1992 unsw_pl/Prolog/lib/tree_delete rw-r--r-- 4273/0 3590 May 19 21:53 1992 unsw_pl/Prolog/lib/trees1 rw-r--r-- 4273/0 6298 May 19 21:53 1992 unsw_pl/Prolog/lib/trees2 rw-r--r-- 4273/0 6337 May 19 21:53 1992 unsw_pl/Prolog/lib/warplan rw-r--r-- 4273/0 9987 May 19 21:53 1992 unsw_pl/Prolog/lib/xr rw-r--r-- 4273/0 3568 May 19 21:53 1992 unsw_pl/Prolog/lib/zebra rw-r--r-- 4273/0 3654 May 19 21:53 1992 unsw_pl/Prolog/lib/zebra.2 rw-r--r-- 4273/0 5754 May 19 21:53 1992 unsw_pl/Prolog/lib/zebra.3 rwxr-xr-x 4273/0 0 Jul 10 20:56 1994 unsw_pl/Prolog/manual/ rw-r--r-- 4273/0 645 May 28 01:03 1992 unsw_pl/Prolog/manual/_1intro rw-r--r-- 4273/0 19637 May 28 01:06 1992 unsw_pl/Prolog/manual/_2prolog rw-r--r-- 4273/0 8002 Jan 2 15:08 1993 unsw_pl/Prolog/manual/_3interpreter rw-r--r-- 4273/0 25161 May 28 01:12 1992 unsw_pl/Prolog/manual/_4built_in rw-r--r-- 4273/0 417 May 28 01:12 1992 unsw_pl/Prolog/manual/_5misc rw-r--r-- 4273/0 52 May 19 21:53 1992 unsw_pl/Prolog/manual/mac rw-r--r-- 4273/0 34 May 19 21:53 1992 unsw_pl/Prolog/manual/mkdoc rw-r--r-- 4273/0 50 Jan 14 11:58 1993 unsw_pl/Prolog/manual/READ_ME rw-r--r-- 4273/0 64164 Dec 28 12:29 1992 unsw_pl/Prolog/prolog rw-r--r-- 4273/0 63848 Jan 13 22:12 1993 unsw_pl/Prolog/prolog.030 rw-r--r-- 4273/0 835 Jan 14 11:53 1993 unsw_pl/Prolog/prolog.030.info rw-r--r-- 4273/0 701 Jan 14 11:44 1993 unsw_pl/Prolog/Prolog.030.readme rw-r--r-- 4273/0 835 Jan 14 11:53 1993 unsw_pl/Prolog/Prolog.030.readme.info rw-r--r-- 4273/0 707 Jan 14 11:53 1993 unsw_pl/Prolog/prolog.info rw-r--r-- 4273/0 5735 Dec 27 03:09 1992 unsw_pl/Prolog/prolog.lib