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