next_inactive up previous







Computational Logic
Concurrent (Constraint) Logic Programming

Concurrent Logic Programs

Synchronization Rules

An Example

        p(X):- X = a | r.
        p(X):- X = b | s.

        q(X):- true | X = b.

        ?- p(X), q(X).

Logic vs. Concurrent Logic Programming

Logic vs. Concurrent Logic Programming

Logic vs. Concurrent Logic Programming

Process Behaviour Examples

Incomplete Messages

Incomplete Messages (Contd.)

The Logical Variable

Streams of Messages

Merging and Dispatching Streams


Fairness

``An event that may occur will eventually occur''

Termination Issues

Termination Issues (Contd.)

Bounded-Size Communication Media

Bounded-Buffer Communication


Bounded-Buffer Communication (Contd.)

Streams of Messages: Protocols

Broadcast Communication

Many-to-one Communication

Many-to-one Communication (Contd.)


Many-to-many Communication


Operational Semantics

Operational Semantics (Contd.)

(Some) Concurrent Logic Languages

(Some) Concurrent Logic Languages (Contd.)


next_inactive up previous
Last modification: Wed Nov 22 23:52:44 CET 2006 <webmaster@clip.dia.fi.upm.es>[CLIP] [FIM] [UNM]