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

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!