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