| Author | Dooply, Ayoob E. |
| Call Number | AIT Thesis no.CS-94-5 |
| Subject(s) | Prolog (Computer program language)
|
| Note | A thesis submitted in partial fulfillment of the requirements for the degree of Master of
Engineering, School of Engineering and Technology |
| Publisher | Asian Institute of Technology |
| Abstract | Parallel programming languages have been developed for higher computational speed and
greater expressive power. Parallel logic programming is a promising paradigm due to the inherent
parallelism in logic programs. Unlike goal-parallel logic programming languages- languages
based on inherent AND-, OR- parallelism of logic programs- process-parallel languages exploit
coarse-grained application parallelism. In process-based parallel logic programming languages,
there are two main streams: channel-based and blackboard-based systems. In a blackboard-based
system, sometimes called a system based on a Linda tuple space, communication is bidirectional
and through the blackboard- a global data structure shared and accessed by all the processes in
the system through a set of blackboard primitives. Processes are created explicitly. Multi-Prolog
(DE BOSSCHERE & JACQUET, 1993) is one such language. Hoare's CSP (Communicating
Sequential Processes) (HOARE, 1985) and Milner's CCS (Calculus of Communicating Systems)
(MILNER, 1989) are two fo1malisms based on processes to express parallelism. The CSP
semantics of Multi-Prolog was given by (DE BOSSCHERE, 1991), and is used, with some
changes, in this study to analyze the classic Dining Philosophers problem. A CCS semantics for
Multi-Prolog is given in this study. Various relationships between the blackboard-based Multi-Prolog and the blackboard-based Problem-Solving of Artificial Intelligence paradigm are explored. |
| Year | 1994 |
| Type | Thesis |
| School | School of Engineering and Technology (SET) |
| Department | Other Field of Studies (No Department) |
| Academic Program/FoS | Computer Science (CS) |
| Chairperson(s) | Phan, Minh Dung
|
| Examination Committee(s) | Huynh Ngoc Phien ;Sadananda, Ramakoti
|
| Scholarship Donor(s) | The Government of Finland |
| Degree | Thesis (M.Eng.) - Asian Institute of Technology, 1994 |