Index of /prolog/tools/files

      Name                    Last modified       Size  Description

[DIR] Parent Directory 14-Jul-1995 19:15 - [   ] advice.hlp 14-Jul-1995 17:25 4k [   ] advice.pl 14-Jul-1995 17:25 8k [   ] andor.pl 14-Jul-1995 17:25 19k [   ] applic.hlp 14-Jul-1995 17:25 2k [   ] applic.pl 14-Jul-1995 17:25 6k [   ] arc3.pl 14-Jul-1995 17:25 8k [   ] arch1.prb 14-Jul-1995 17:25 2k [   ] arch3.prb 14-Jul-1995 17:25 2k [   ] arhc2.prb 14-Jul-1995 17:25 2k [   ] arith.ops 14-Jul-1995 17:25 1k [   ] arith.pl 14-Jul-1995 17:25 9k [   ] arrays.pl 14-Jul-1995 17:25 2k [   ] ask.pl 14-Jul-1995 17:25 5k [   ] assoc.pl 14-Jul-1995 17:25 5k [   ] backup.pl 14-Jul-1995 17:25 2k [   ] bagutl.hlp 14-Jul-1995 17:25 8k [   ] bagutl.pl 14-Jul-1995 17:25 7k [   ] between.pl 14-Jul-1995 17:25 2k [   ] bfs.pl 14-Jul-1995 17:25 1k [   ] breadth_first.pl 14-Jul-1995 17:25 2k [   ] breadthfi.pl 14-Jul-1995 17:25 2k [   ] bundle.pl 14-Jul-1995 17:25 8k [   ] byrd.hlp 14-Jul-1995 17:25 3k [   ] cc.pl 14-Jul-1995 17:25 1k [   ] clause.pl 14-Jul-1995 17:25 16k [   ] conn 14-Jul-1995 17:25 1k [   ] contents 14-Jul-1995 18:43 17k [TXT] contents.html 14-Jul-1995 19:03 12k [   ] contents.ms 14-Jul-1995 17:25 14k [   ] count.hlp 14-Jul-1995 17:25 2k [   ] count.pl 14-Jul-1995 17:25 2k [   ] crypta.pl 14-Jul-1995 17:25 2k [   ] ctypes.pl 14-Jul-1995 17:25 3k [   ] dcsg.ex 14-Jul-1995 17:25 4k [   ] dcsg.hlp 14-Jul-1995 17:25 1k [   ] dcsg.pl 14-Jul-1995 17:25 11k [   ] dec10.pl 14-Jul-1995 17:25 2k [   ] decons.pl 14-Jul-1995 17:25 4k [   ] depth.pl 14-Jul-1995 17:25 2k [   ] depth_first.pl 14-Jul-1995 17:25 2k [   ] depthfirs.pl 14-Jul-1995 17:25 2k [   ] dfs.pl 14-Jul-1995 17:25 3k [   ] distfix.ex 14-Jul-1995 17:25 2k [   ] distfix.pl 14-Jul-1995 17:25 17k [   ] edit.pl 14-Jul-1995 17:25 1k [   ] eight_puzzle.pl 14-Jul-1995 17:25 2k [   ] eightpuzz.pl 14-Jul-1995 17:25 2k [   ] evans.pl 14-Jul-1995 17:25 7k [   ] expand.pl 14-Jul-1995 17:25 3k [   ] expon.pl 14-Jul-1995 17:25 1k [   ] figure.pl 14-Jul-1995 17:25 1k [   ] files.pl 14-Jul-1995 17:25 5k [   ] flags.pl 14-Jul-1995 17:25 2k [   ] flat.pl 14-Jul-1995 17:25 4k [   ] focus 14-Jul-1995 17:25 2k [   ] for_each.pl 14-Jul-1995 17:25 3k [   ] foreach.pl 14-Jul-1995 17:25 3k [   ] gelran.pl 14-Jul-1995 17:25 2k [   ] gensym.pl 14-Jul-1995 17:25 2k [   ] getfile.pl 14-Jul-1995 17:25 1k [   ] graphs.pl 14-Jul-1995 17:25 8k [   ] guess_first.pl 14-Jul-1995 17:25 2k [   ] guessfirs.pl 14-Jul-1995 17:25 2k [   ] h.pl 14-Jul-1995 17:25 7k [   ] heaps.pl 14-Jul-1995 17:25 7k [   ] help.pl 14-Jul-1995 17:25 5k [   ] help2.pl 14-Jul-1995 17:25 5k [TXT] help_directories.txt 14-Jul-1995 17:25 1k [TXT] helpdirec.txt 14-Jul-1995 17:25 1k [   ] helper.hlp 14-Jul-1995 17:25 5k [   ] helper.pl 14-Jul-1995 17:25 3k [   ] heu.pl 14-Jul-1995 17:25 2k [   ] idback.def 14-Jul-1995 17:25 1k [   ] idback.pl 14-Jul-1995 17:25 7k [   ] imisce.pl 14-Jul-1995 17:25 1k [   ] infer 14-Jul-1995 17:25 4k [   ] invoca.pl 14-Jul-1995 17:25 2k [   ] isolax.prb 14-Jul-1995 17:25 5k [   ] ixref.def 14-Jul-1995 17:25 10k [   ] ixref.hlp 14-Jul-1995 17:25 2k [   ] ixref.pl 14-Jul-1995 17:25 12k [   ] keep.pl 14-Jul-1995 17:25 1k [   ] lazy.pl 14-Jul-1995 17:25 2k [   ] learn 14-Jul-1995 17:25 2k [   ] lib.pl 14-Jul-1995 17:25 1k [   ] lib2.pl 14-Jul-1995 17:25 5k [   ] listut.hlp 14-Jul-1995 17:25 2k [   ] listut.pl 14-Jul-1995 17:25 11k [   ] logarr.pl 14-Jul-1995 17:25 5k [   ] logodb.pl 14-Jul-1995 17:25 1k [   ] long.pl 14-Jul-1995 17:25 34k [   ] make_util 14-Jul-1995 17:25 1k [   ] makerc 14-Jul-1995 17:25 1k [   ] map.pl 14-Jul-1995 17:25 12k [   ] medic.pl 14-Jul-1995 17:25 9k [   ] metutl.pl 14-Jul-1995 17:25 5k [   ] module.pl 14-Jul-1995 17:25 16k [   ] multil.pl 14-Jul-1995 17:25 4k [   ] mycin.pl 14-Jul-1995 17:25 12k [   ] not.hlp 14-Jul-1995 17:25 1k [   ] not.pl 14-Jul-1995 17:25 4k [   ] nutil.hlp 14-Jul-1995 17:25 4k [   ] nutil2.hlp 14-Jul-1995 17:25 10k [   ] occur.pl 14-Jul-1995 17:25 4k [   ] order.pl 14-Jul-1995 17:25 3k [   ] ordset.pl 14-Jul-1995 17:25 7k [   ] output 14-Jul-1995 17:25 6k [   ] oxo.pl 14-Jul-1995 17:25 4k [   ] pim.prb 14-Jul-1995 17:25 1k [   ] porstr.pl 14-Jul-1995 17:25 1k [   ] pp.hlp 14-Jul-1995 17:25 7k [   ] pp.pl 14-Jul-1995 17:25 17k [   ] preds.hlp 14-Jul-1995 17:25 31k [   ] projec.pl 14-Jul-1995 17:25 3k [   ] prolog.typ 14-Jul-1995 17:25 6k [   ] putstr.pl 14-Jul-1995 17:25 1k [   ] queens.pl 14-Jul-1995 17:25 6k [   ] queues.pl 14-Jul-1995 17:25 5k [   ] random.pl 14-Jul-1995 17:25 1k [   ] rdtok.gen 14-Jul-1995 17:26 13k [   ] rdtok.pl 14-Jul-1995 17:26 3k [   ] read.me 14-Jul-1995 17:26 1k [   ] read.pl 14-Jul-1995 17:26 11k [   ] read_in.pl 14-Jul-1995 17:26 2k [   ] read_sent.pl 14-Jul-1995 17:26 8k [   ] recon.pl 14-Jul-1995 17:26 1k [   ] royalty.pl 14-Jul-1995 17:26 4k [   ] rules.pl 14-Jul-1995 17:26 1k [   ] samsort.pl 14-Jul-1995 17:26 1k [   ] setof.pl 14-Jul-1995 17:26 8k [   ] setutl.pl 14-Jul-1995 17:26 9k [TXT] solution.txt 14-Jul-1995 17:26 2k [   ] sorts.pl 14-Jul-1995 17:26 2k [   ] strio.pl 14-Jul-1995 17:26 2k [   ] struct.pl 14-Jul-1995 17:26 6k [   ] subtra.pl 14-Jul-1995 17:26 1k [   ] sum1.pl 14-Jul-1995 17:26 1k [   ] sum2.pl 14-Jul-1995 17:26 1k [   ] sum3.pl 14-Jul-1995 17:26 1k [   ] system.pl 14-Jul-1995 17:26 4k [   ] system_preds.pl 14-Jul-1995 17:26 2k [   ] termin.pl 14-Jul-1995 17:26 3k [   ] test.pl 14-Jul-1995 17:26 1k [   ] tidy.pl 14-Jul-1995 17:26 13k [   ] timing.pl 14-Jul-1995 17:26 1k [   ] timing.pop 14-Jul-1995 17:26 2k [   ] toolki.hlp 14-Jul-1995 17:26 1k [   ] tools.descr 14-Jul-1995 17:26 13k [   ] tools.pre 14-Jul-1995 17:26 1k [   ] toplevel.pl 14-Jul-1995 17:26 12k [   ] trace.pl 14-Jul-1995 17:26 2k [   ] trees.pl 14-Jul-1995 17:26 5k [   ] trysee.pl 14-Jul-1995 17:26 3k [   ] type.pl 14-Jul-1995 17:26 1k [   ] typecheck.pl 14-Jul-1995 17:26 13k [   ] unfold.pl 14-Jul-1995 17:26 7k [   ] update.pl 14-Jul-1995 17:26 3k [   ] util 14-Jul-1995 17:26 1k [   ] util.hlp 14-Jul-1995 17:26 12k [   ] util.ops 14-Jul-1995 17:26 1k [   ] util2.hlp 14-Jul-1995 17:26 6k [   ] util3.hlp 14-Jul-1995 17:26 11k [   ] vcheck.hlp 14-Jul-1995 17:26 1k [   ] vcheck.pl 14-Jul-1995 17:26 2k [   ] winst 14-Jul-1995 17:26 1k [   ] winst.ref 14-Jul-1995 17:26 3k [   ] winsto.hlp 14-Jul-1995 17:26 15k [   ] wplanc.pl 14-Jul-1995 17:26 3k [   ] wpo.pl 14-Jul-1995 17:26 1k [   ] writef.hlp 14-Jul-1995 17:26 5k [   ] writef.pl 14-Jul-1995 17:26 14k [   ] xgproc.pl 14-Jul-1995 17:26 4k [   ] xref.def 14-Jul-1995 17:26 3k [   ] xref.hlp 14-Jul-1995 17:26 10k [   ] xref.pl 14-Jul-1995 17:26 1k [   ] xrf.pl 14-Jul-1995 17:26 6k [   ] xrfcol.pl 14-Jul-1995 17:26 3k [   ] xrfdef.pl 14-Jul-1995 17:26 5k [   ] xrfmod.pl 14-Jul-1995 17:26 6k [   ] xrfout.pl 14-Jul-1995 17:26 6k [   ] xrftst.bar 14-Jul-1995 17:26 1k [   ] xrftst.foo 14-Jul-1995 17:26 1k [   ] xrftty.pl 14-Jul-1995 17:26 4k

Apache/1.3.37 Server at www.j-paine.org Port 80