ERights Home history 
Back to: Actors: Foundations for Open Systems On to: Vulcan: Logical Actors

Concurrent Prolog
Inference as Communication


***to be written

For a relevant comparison with Linda, see

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.

 
Unless stated otherwise, all text on this page which is either unattributed or by Mark S. Miller is hereby placed in the public domain.
ERights Home history 
Back to: Actors: Foundations for Open Systems On to: Vulcan: Logical Actors
Download    FAQ    API    Mail Archive    Donate

report bug (including invalid html)

Golden Key Campaign Blue Ribbon Campaign