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