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