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