/ history

Concurrent Prolog Inference as Communication

***to be written

For a relevant comparison with Linda, see

• Technical Correspondence reprinted in CACM about Concurrent logic languages vs Linda. The remarks of Ken Kahn and myself begin on page 13.
• Coordination Languages and their Significance in which Gelernter and Carriero reply.

E is much closer to the kind of split model Gelernter advocates than I thought I'd ever go. In particular E's immediate-call sublanguage, including all of the Kernel-E special forms, can be seen as (in Gelernter's terms) a computation language, whereas E's eventual-send sublanguage, including all of CapTP, can be seen as (in Gelernter's terms) a coordination language.