Prolog with Communicating Processes: From T-Prolog to CSR-Prolog


Proc. of the Tenth International Conference on Logic Programming, ed. D.S.Warren, MIT Press 1993, pp. 3-17 (invited paper)

Abstract
The evolution of a concurrent Prolog system is described in the paper. Started originally as a Prolog application, the T-Prolog system was a special extension of Prolog for discrete event simulation. Barring the simulation time handling aspects of the system, conceptually T-Prolog is a black-board Prolog system, where processes defined by Prolog clauses communicate with each other through a common shared database or using messages. Based on the T-Prolog experience a real multiprocessor variant was implemented, named CS-Prolog (Communicating Sequential Prolog ). CS-Prolog provided communication tools for asynchronous message passing and a distributed backtracking algorithm ensured the completeness of the search. The Time Warp concept was used for distributed discrete simulation. The most recent addition to this family of languages was CSR-Prolog, which maintained the process concept of CS-Prolog but with a different communication model based on the notion of channels and the rendezvous concept. No distributed backtracking is implemented in CSR-Prolog. The different versions of the languages were used for several applications like drug administration planning, manufacturing cell design or material flow analysis.

Read the article here

Author

Hozzászólások

Kötelező mezők *-al jelölve

Kapcsolat

További információkat kérek a termékről

Köszönjük az érdeklődést, hamarosan felvesszük Önnel a kapcsolatot!

További információkat kérek a termékről

Köszönjük az érdeklődést, hamarosan felvesszük Önnel a kapcsolatot!