Index of /archive/languages/prolog/tools

Icon  Name                    Last modified      Size  Description
[TXT] advice.hlp 2008-10-13 08:49 4.0K [   ] advice.pl 2011-10-06 05:44 7.6K [   ] andor.pl 2011-10-06 05:44 19K [TXT] applic.hlp 2008-10-13 08:49 1.6K [   ] applic.pl 2011-10-06 05:44 5.9K [   ] arc3.pl 2011-10-06 05:44 7.9K [TXT] arch1.prb 2008-10-13 08:48 1.7K [TXT] arch3.prb 2008-10-13 08:48 1.6K [TXT] arhc2.prb 2008-10-13 08:50 1.7K [TXT] arith.ops 2008-10-13 08:48 251 [   ] arith.pl 2011-10-06 05:44 9.1K [   ] arrays.pl 2011-10-06 05:44 2.4K [   ] ask.pl 2011-10-06 05:44 5.1K [   ] assoc.pl 2011-10-06 05:44 4.6K [   ] backup.pl 2011-10-06 05:44 2.1K [   ] bagutl.hlp 2008-10-13 08:48 8.2K [   ] bagutl.pl 2011-10-06 05:44 6.6K [   ] between.pl 2011-10-06 05:44 1.8K [   ] bfs.pl 2011-10-06 05:44 1.4K [   ] breadth_first.pl 2011-10-06 05:44 2.0K [   ] breadthfi.pl 2011-10-06 05:44 2.0K [   ] bundle.pl 2011-10-06 05:44 7.9K [TXT] byrd.hlp 2008-10-13 08:48 2.9K [   ] cc.pl 2011-10-06 05:44 1.4K [   ] clause.pl 2011-10-06 05:44 16K [TXT] conn 2008-10-13 08:47 212 [TXT] contents 2008-10-13 08:49 16K [TXT] contents.html 2008-10-13 08:49 12K [   ] contents.ms 2008-10-13 08:49 14K [TXT] count.hlp 2008-10-13 08:48 1.8K [   ] count.pl 2011-10-06 05:44 1.9K [   ] crypta.pl 2011-10-06 05:44 2.2K [   ] ctypes.pl 2011-10-06 05:44 2.5K [   ] dcsg.ex 2008-10-13 08:47 3.5K [   ] dcsg.hlp 2008-10-13 08:48 295 [   ] dcsg.pl 2011-10-06 05:44 11K [   ] dec10.pl 2011-10-06 05:44 1.7K [   ] decons.pl 2011-10-06 05:44 3.6K [   ] depth.pl 2011-10-06 05:44 2.2K [   ] depth_first.pl 2011-10-06 05:44 2.4K [   ] depthfirs.pl 2011-10-06 05:44 2.4K [   ] dfs.pl 2011-10-06 05:44 2.8K [   ] distfix.ex 2008-10-13 08:48 2.0K [   ] distfix.pl 2011-10-06 05:44 17K [   ] edit.pl 2011-10-06 05:44 1.4K [   ] eight_puzzle.pl 2011-10-06 05:44 2.0K [   ] eightpuzz.pl 2011-10-06 05:44 2.0K [   ] evans.pl 2011-10-06 05:44 6.7K [   ] expand.pl 2011-10-06 05:44 3.4K [   ] expon.pl 2011-10-06 05:44 1.0K [   ] figure.pl 2011-10-06 05:44 1.2K [   ] files.pl 2011-10-06 05:44 4.6K [   ] flags.pl 2011-10-06 05:44 1.8K [   ] flat.pl 2011-10-06 05:44 4.3K [TXT] focus 2008-10-13 08:48 1.9K [   ] for_each.pl 2011-10-06 05:44 3.3K [   ] foreach.pl 2011-10-06 05:44 3.3K [   ] gelran.pl 2011-10-06 05:44 2.0K [   ] gensym.pl 2011-10-06 05:44 1.8K [   ] getfile.pl 2011-10-06 05:44 962 [   ] graphs.pl 2011-10-06 05:44 7.9K [   ] guess_first.pl 2011-10-06 05:44 2.4K [   ] guessfirs.pl 2011-10-06 05:44 2.4K [   ] h.pl 2011-10-06 05:44 7.3K [   ] heaps.pl 2011-10-06 05:44 7.1K [   ] help.pl 2011-10-06 05:44 5.4K [   ] help2.pl 2011-10-06 05:44 5.4K [TXT] help_directories.txt 2008-10-13 08:47 795 [TXT] helpdirec.txt 2008-10-13 08:48 795 [TXT] helper.hlp 2008-10-13 08:48 5.2K [   ] helper.pl 2011-10-06 05:44 3.2K [   ] heu.pl 2011-10-06 05:44 2.3K [TXT] idback.def 2008-10-13 08:49 1.4K [   ] idback.pl 2011-10-06 05:44 6.9K [   ] imisce.pl 2011-10-06 05:44 1.0K [TXT] infer 2008-10-13 08:48 4.2K [   ] invoca.pl 2011-10-06 05:44 1.7K [TXT] isolax.prb 2008-10-13 08:49 5.3K [   ] ixref.def 2008-10-13 08:49 9.5K [TXT] ixref.hlp 2008-10-13 08:49 1.8K [   ] ixref.pl 2011-10-06 05:44 12K [   ] keep.pl 2011-10-06 05:44 1.1K [   ] lazy.pl 2011-10-06 05:44 1.6K [TXT] learn 2008-10-13 08:48 2.4K [   ] lib.pl 2011-10-06 05:44 503 [   ] lib2.pl 2011-10-06 05:44 5.1K [TXT] listut.hlp 2008-10-13 08:49 2.4K [   ] listut.pl 2011-10-06 05:44 11K [   ] logarr.pl 2011-10-06 05:44 5.0K [   ] logodb.pl 2011-10-06 05:44 748 [   ] long.pl 2011-10-06 05:44 34K [   ] make_util 2008-10-13 08:48 427 [TXT] makerc 2008-10-13 08:49 1.4K [   ] map.pl 2011-10-06 05:44 12K [   ] medic.pl 2011-10-06 05:44 8.5K [   ] metutl.pl 2011-10-06 05:44 5.1K [   ] module.pl 2011-10-06 05:44 16K [   ] multil.pl 2011-10-06 05:44 4.4K [   ] mycin.pl 2011-10-06 05:44 12K [TXT] not.hlp 2008-10-13 08:49 1.1K [   ] not.pl 2011-10-06 05:44 3.9K [TXT] nutil.hlp 2008-10-13 08:48 4.1K [   ] nutil2.hlp 2008-10-13 08:49 10K [   ] occur.pl 2011-10-06 05:44 3.9K [   ] order.pl 2011-10-06 05:44 2.6K [   ] ordset.pl 2011-10-06 05:44 7.5K [TXT] output 2008-10-13 08:49 5.6K [   ] oxo.pl 2011-10-06 05:44 4.0K [TXT] pim.prb 2008-10-13 08:49 534 [   ] porstr.pl 2011-10-06 05:44 1.1K [TXT] pp.hlp 2008-10-13 08:49 6.7K [   ] pp.pl 2011-10-06 05:44 17K [   ] preds.hlp 2008-10-13 08:48 31K [   ] projec.pl 2011-10-06 05:44 2.6K [TXT] prolog.typ 2008-10-13 08:48 5.8K [   ] putstr.pl 2011-10-06 05:44 856 [   ] queens.pl 2011-10-06 05:44 6.1K [   ] queues.pl 2011-10-06 05:44 5.5K [   ] random.pl 2011-10-06 05:44 1.5K [TXT] rdtok.gen 2008-10-13 08:48 13K [   ] rdtok.pl 2011-10-06 05:44 3.1K [   ] read.me 2008-10-13 08:48 584 [   ] read.pl 2011-10-06 05:44 11K [   ] read_in.pl 2011-10-06 05:44 2.3K [   ] read_sent.pl 2011-10-06 05:44 7.7K [   ] recon.pl 2011-10-06 05:44 1.3K [   ] royalty.pl 2011-10-06 05:44 4.0K [   ] rules.pl 2011-10-06 05:44 1.3K [   ] samsort.pl 2011-10-06 05:44 1.0K [   ] setof.pl 2011-10-06 05:44 8.4K [   ] setutl.pl 2011-10-06 05:44 8.8K [TXT] solution.txt 2008-10-13 08:49 1.7K [   ] sorts.pl 2011-10-06 05:44 2.2K [   ] strio.pl 2011-10-06 05:44 2.3K [   ] struct.pl 2011-10-06 05:44 6.0K [   ] subtra.pl 2011-10-06 05:44 1.3K [   ] sum1.pl 2011-10-06 05:44 116 [   ] sum2.pl 2011-10-06 05:44 116 [   ] sum3.pl 2011-10-06 05:44 116 [   ] system.pl 2011-10-06 05:44 4.1K [   ] system_preds.pl 2011-10-06 05:44 2.2K [   ] termin.pl 2011-10-06 05:44 3.2K [   ] test.pl 2011-10-06 05:44 1.5K [   ] tidy.pl 2011-10-06 05:44 13K [   ] timing.pl 2011-10-06 05:44 1.0K [TXT] timing.pop 2008-10-13 08:48 2.4K [TXT] toolki.hlp 2008-10-13 08:48 558 [TXT] tools.descr 2008-10-13 08:49 13K [   ] tools.pre 2008-10-13 08:48 1.2K [   ] toplevel.pl 2011-10-06 05:44 12K [   ] trace.pl 2011-10-06 05:44 2.1K [   ] trees.pl 2011-10-06 05:44 4.6K [   ] trysee.pl 2011-10-06 05:44 2.7K [   ] type.pl 2011-10-06 05:44 899 [   ] typecheck.pl 2011-10-06 05:44 13K [   ] unfold.pl 2011-10-06 05:44 7.0K [   ] update.pl 2011-10-06 05:44 3.0K [TXT] util 2008-10-13 08:47 481 [   ] util.hlp 2008-10-13 08:50 12K [   ] util.ops 2008-10-13 08:50 650 [TXT] util2.hlp 2008-10-13 08:49 5.9K [TXT] util3.hlp 2008-10-13 08:49 11K [TXT] vcheck.hlp 2008-10-13 08:49 806 [   ] vcheck.pl 2011-10-06 05:44 2.1K [TXT] winst 2008-10-13 08:48 268 [   ] winst.ref 2008-10-13 08:48 3.3K [   ] winsto.hlp 2008-10-13 08:48 15K [   ] wplanc.pl 2011-10-06 05:44 3.5K [   ] wpo.pl 2011-10-06 05:44 146 [TXT] writef.hlp 2008-10-13 08:48 4.9K [   ] writef.pl 2011-10-06 05:44 14K [   ] xgproc.pl 2011-10-06 05:44 4.3K [TXT] xref.def 2008-10-13 08:48 2.8K [TXT] xref.hlp 2008-10-13 08:48 9.9K [   ] xref.pl 2011-10-06 05:44 93 [   ] xrf.pl 2011-10-06 05:44 5.9K [   ] xrfcol.pl 2011-10-06 05:44 3.5K [   ] xrfdef.pl 2011-10-06 05:44 4.6K [   ] xrfmod.pl 2011-10-06 05:44 5.6K [   ] xrfout.pl 2011-10-06 05:44 6.2K [   ] xrftst.bar 2008-10-13 08:49 47 [TXT] xrftst.foo 2008-10-13 08:49 135 [   ] xrftty.pl 2011-10-06 05:44 4.0K