Index of /prolog/tools/files
Name Last modified Size Description
![[DIR]](/icons/back.gif)
Parent Directory 14-Jul-1995 19:15 -
![[ ]](/icons/unknown.gif)
advice.hlp 14-Jul-1995 17:25 4k
![[ ]](/icons/p.gif)
advice.pl 14-Jul-1995 17:25 8k
andor.pl 14-Jul-1995 17:25 19k
applic.hlp 14-Jul-1995 17:25 2k
applic.pl 14-Jul-1995 17:25 6k
arc3.pl 14-Jul-1995 17:25 8k
arch1.prb 14-Jul-1995 17:25 2k
arch3.prb 14-Jul-1995 17:25 2k
arhc2.prb 14-Jul-1995 17:25 2k
arith.ops 14-Jul-1995 17:25 1k
arith.pl 14-Jul-1995 17:25 9k
arrays.pl 14-Jul-1995 17:25 2k
ask.pl 14-Jul-1995 17:25 5k
assoc.pl 14-Jul-1995 17:25 5k
backup.pl 14-Jul-1995 17:25 2k
bagutl.hlp 14-Jul-1995 17:25 8k
bagutl.pl 14-Jul-1995 17:25 7k
between.pl 14-Jul-1995 17:25 2k
bfs.pl 14-Jul-1995 17:25 1k
breadth_first.pl 14-Jul-1995 17:25 2k
breadthfi.pl 14-Jul-1995 17:25 2k
bundle.pl 14-Jul-1995 17:25 8k
byrd.hlp 14-Jul-1995 17:25 3k
cc.pl 14-Jul-1995 17:25 1k
clause.pl 14-Jul-1995 17:25 16k
conn 14-Jul-1995 17:25 1k
contents 14-Jul-1995 18:43 17k
![[TXT]](/icons/text.gif)
contents.html 14-Jul-1995 19:03 12k
contents.ms 14-Jul-1995 17:25 14k
count.hlp 14-Jul-1995 17:25 2k
count.pl 14-Jul-1995 17:25 2k
crypta.pl 14-Jul-1995 17:25 2k
ctypes.pl 14-Jul-1995 17:25 3k
dcsg.ex 14-Jul-1995 17:25 4k
dcsg.hlp 14-Jul-1995 17:25 1k
dcsg.pl 14-Jul-1995 17:25 11k
dec10.pl 14-Jul-1995 17:25 2k
decons.pl 14-Jul-1995 17:25 4k
depth.pl 14-Jul-1995 17:25 2k
depth_first.pl 14-Jul-1995 17:25 2k
depthfirs.pl 14-Jul-1995 17:25 2k
dfs.pl 14-Jul-1995 17:25 3k
distfix.ex 14-Jul-1995 17:25 2k
distfix.pl 14-Jul-1995 17:25 17k
edit.pl 14-Jul-1995 17:25 1k
eight_puzzle.pl 14-Jul-1995 17:25 2k
eightpuzz.pl 14-Jul-1995 17:25 2k
evans.pl 14-Jul-1995 17:25 7k
expand.pl 14-Jul-1995 17:25 3k
expon.pl 14-Jul-1995 17:25 1k
figure.pl 14-Jul-1995 17:25 1k
files.pl 14-Jul-1995 17:25 5k
flags.pl 14-Jul-1995 17:25 2k
flat.pl 14-Jul-1995 17:25 4k
focus 14-Jul-1995 17:25 2k
for_each.pl 14-Jul-1995 17:25 3k
foreach.pl 14-Jul-1995 17:25 3k
gelran.pl 14-Jul-1995 17:25 2k
gensym.pl 14-Jul-1995 17:25 2k
getfile.pl 14-Jul-1995 17:25 1k
graphs.pl 14-Jul-1995 17:25 8k
guess_first.pl 14-Jul-1995 17:25 2k
guessfirs.pl 14-Jul-1995 17:25 2k
h.pl 14-Jul-1995 17:25 7k
heaps.pl 14-Jul-1995 17:25 7k
help.pl 14-Jul-1995 17:25 5k
help2.pl 14-Jul-1995 17:25 5k
help_directories.txt 14-Jul-1995 17:25 1k
helpdirec.txt 14-Jul-1995 17:25 1k
helper.hlp 14-Jul-1995 17:25 5k
helper.pl 14-Jul-1995 17:25 3k
heu.pl 14-Jul-1995 17:25 2k
idback.def 14-Jul-1995 17:25 1k
idback.pl 14-Jul-1995 17:25 7k
imisce.pl 14-Jul-1995 17:25 1k
infer 14-Jul-1995 17:25 4k
invoca.pl 14-Jul-1995 17:25 2k
isolax.prb 14-Jul-1995 17:25 5k
ixref.def 14-Jul-1995 17:25 10k
ixref.hlp 14-Jul-1995 17:25 2k
ixref.pl 14-Jul-1995 17:25 12k
keep.pl 14-Jul-1995 17:25 1k
lazy.pl 14-Jul-1995 17:25 2k
learn 14-Jul-1995 17:25 2k
lib.pl 14-Jul-1995 17:25 1k
lib2.pl 14-Jul-1995 17:25 5k
listut.hlp 14-Jul-1995 17:25 2k
listut.pl 14-Jul-1995 17:25 11k
logarr.pl 14-Jul-1995 17:25 5k
logodb.pl 14-Jul-1995 17:25 1k
long.pl 14-Jul-1995 17:25 34k
make_util 14-Jul-1995 17:25 1k
makerc 14-Jul-1995 17:25 1k
map.pl 14-Jul-1995 17:25 12k
medic.pl 14-Jul-1995 17:25 9k
metutl.pl 14-Jul-1995 17:25 5k
module.pl 14-Jul-1995 17:25 16k
multil.pl 14-Jul-1995 17:25 4k
mycin.pl 14-Jul-1995 17:25 12k
not.hlp 14-Jul-1995 17:25 1k
not.pl 14-Jul-1995 17:25 4k
nutil.hlp 14-Jul-1995 17:25 4k
nutil2.hlp 14-Jul-1995 17:25 10k
occur.pl 14-Jul-1995 17:25 4k
order.pl 14-Jul-1995 17:25 3k
ordset.pl 14-Jul-1995 17:25 7k
output 14-Jul-1995 17:25 6k
oxo.pl 14-Jul-1995 17:25 4k
pim.prb 14-Jul-1995 17:25 1k
porstr.pl 14-Jul-1995 17:25 1k
pp.hlp 14-Jul-1995 17:25 7k
pp.pl 14-Jul-1995 17:25 17k
preds.hlp 14-Jul-1995 17:25 31k
projec.pl 14-Jul-1995 17:25 3k
prolog.typ 14-Jul-1995 17:25 6k
putstr.pl 14-Jul-1995 17:25 1k
queens.pl 14-Jul-1995 17:25 6k
queues.pl 14-Jul-1995 17:25 5k
random.pl 14-Jul-1995 17:25 1k
rdtok.gen 14-Jul-1995 17:26 13k
rdtok.pl 14-Jul-1995 17:26 3k
read.me 14-Jul-1995 17:26 1k
read.pl 14-Jul-1995 17:26 11k
read_in.pl 14-Jul-1995 17:26 2k
read_sent.pl 14-Jul-1995 17:26 8k
recon.pl 14-Jul-1995 17:26 1k
royalty.pl 14-Jul-1995 17:26 4k
rules.pl 14-Jul-1995 17:26 1k
samsort.pl 14-Jul-1995 17:26 1k
setof.pl 14-Jul-1995 17:26 8k
setutl.pl 14-Jul-1995 17:26 9k
solution.txt 14-Jul-1995 17:26 2k
sorts.pl 14-Jul-1995 17:26 2k
strio.pl 14-Jul-1995 17:26 2k
struct.pl 14-Jul-1995 17:26 6k
subtra.pl 14-Jul-1995 17:26 1k
sum1.pl 14-Jul-1995 17:26 1k
sum2.pl 14-Jul-1995 17:26 1k
sum3.pl 14-Jul-1995 17:26 1k
system.pl 14-Jul-1995 17:26 4k
system_preds.pl 14-Jul-1995 17:26 2k
termin.pl 14-Jul-1995 17:26 3k
test.pl 14-Jul-1995 17:26 1k
tidy.pl 14-Jul-1995 17:26 13k
timing.pl 14-Jul-1995 17:26 1k
timing.pop 14-Jul-1995 17:26 2k
toolki.hlp 14-Jul-1995 17:26 1k
tools.descr 14-Jul-1995 17:26 13k
tools.pre 14-Jul-1995 17:26 1k
toplevel.pl 14-Jul-1995 17:26 12k
trace.pl 14-Jul-1995 17:26 2k
trees.pl 14-Jul-1995 17:26 5k
trysee.pl 14-Jul-1995 17:26 3k
type.pl 14-Jul-1995 17:26 1k
typecheck.pl 14-Jul-1995 17:26 13k
unfold.pl 14-Jul-1995 17:26 7k
update.pl 14-Jul-1995 17:26 3k
util 14-Jul-1995 17:26 1k
util.hlp 14-Jul-1995 17:26 12k
util.ops 14-Jul-1995 17:26 1k
util2.hlp 14-Jul-1995 17:26 6k
util3.hlp 14-Jul-1995 17:26 11k
vcheck.hlp 14-Jul-1995 17:26 1k
vcheck.pl 14-Jul-1995 17:26 2k
winst 14-Jul-1995 17:26 1k
winst.ref 14-Jul-1995 17:26 3k
winsto.hlp 14-Jul-1995 17:26 15k
wplanc.pl 14-Jul-1995 17:26 3k
wpo.pl 14-Jul-1995 17:26 1k
writef.hlp 14-Jul-1995 17:26 5k
writef.pl 14-Jul-1995 17:26 14k
xgproc.pl 14-Jul-1995 17:26 4k
xref.def 14-Jul-1995 17:26 3k
xref.hlp 14-Jul-1995 17:26 10k
xref.pl 14-Jul-1995 17:26 1k
xrf.pl 14-Jul-1995 17:26 6k
xrfcol.pl 14-Jul-1995 17:26 3k
xrfdef.pl 14-Jul-1995 17:26 5k
xrfmod.pl 14-Jul-1995 17:26 6k
xrfout.pl 14-Jul-1995 17:26 6k
xrftst.bar 14-Jul-1995 17:26 1k
xrftst.foo 14-Jul-1995 17:26 1k
xrftty.pl 14-Jul-1995 17:26 4k
Apache/1.3.37 Server at www.j-paine.org Port 80