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