On Sat, 3 Jun 2000, Alan Kay wrote:

[praise and description of Lucid]

> Anyone know of an online reference to Lucid? (There was an excellent book
> about it 30 years ago ...).
> 

Ask and BijBot (using Google) will supply some links:

	http://www.csl.sri.com/Lucid.html
	http://www.csl.sri.com/lucid/ISLIP94/electronic-proceedings.html

And, perhaps, most immediately useful, the LucidePrimer:
	
http://lucy.uvic.ca/home/blah/cgi-bin/tap.cgi?LucidPrimer/LucidPrimer-Start


BTW, thanks for the pointer. Being interested in intensional logics, and
once having tried (and failed) to provide an intuitionistic semantics for
Prolog, stumbling into this literature is quite a treat.

Cheers,
Bijan Parsia.