Proc. of the Tenth International Conference on Logic Programming, ed. D.S.Warren, MIT Press 1993, pp. 3-17 (invited paper)
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