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