Index of /archive/languages/prolog/tools
Name Last modified Size Description
![[TXT]](/icons/text.gif)
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
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
arch1.prb 2008-10-13 08:48 1.7K
arch3.prb 2008-10-13 08:48 1.6K
arhc2.prb 2008-10-13 08:50 1.7K
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
![[ ]](/icons/generic.gif)
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
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
conn 2008-10-13 08:47 212
contents 2008-10-13 08:49 16K
contents.html 2008-10-13 08:49 12K
contents.ms 2008-10-13 08:49 14K
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
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
help_directories.txt 2008-10-13 08:47 795
helpdirec.txt 2008-10-13 08:48 795
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
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
infer 2008-10-13 08:48 4.2K
invoca.pl 2011-10-06 05:44 1.7K
isolax.prb 2008-10-13 08:49 5.3K
ixref.def 2008-10-13 08:49 9.5K
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
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
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
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
not.hlp 2008-10-13 08:49 1.1K
not.pl 2011-10-06 05:44 3.9K
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
output 2008-10-13 08:49 5.6K
oxo.pl 2011-10-06 05:44 4.0K
pim.prb 2008-10-13 08:49 534
porstr.pl 2011-10-06 05:44 1.1K
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
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
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
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
timing.pop 2008-10-13 08:48 2.4K
toolki.hlp 2008-10-13 08:48 558
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
util 2008-10-13 08:47 481
util.hlp 2008-10-13 08:50 12K
util.ops 2008-10-13 08:50 650
util2.hlp 2008-10-13 08:49 5.9K
util3.hlp 2008-10-13 08:49 11K
vcheck.hlp 2008-10-13 08:49 806
vcheck.pl 2011-10-06 05:44 2.1K
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
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
xref.def 2008-10-13 08:48 2.8K
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
xrftst.foo 2008-10-13 08:49 135
xrftty.pl 2011-10-06 05:44 4.0K
Apache/2.4 Server at history.dcs.ed.ac.uk Port 443