loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Second International Symposium on Autonomous Decentralized Systems (ISADS'95)
Exploiting the sources of parallelism in logic programs
Phoenix, Arizona, USA
April 25-April 27
ISBN: 0-8186-7087-8
M. Nour, Electron. Res. Inst., Cairo, Egypt
N. Hegazi, Electron. Res. Inst., Cairo, Egypt
Abstract: To achieve efficient and good performance of logic programs a proposed parallel execution model based on MUSE which was implemented by SICS of Sweden has been developed and implemented. This model is an amalgamation of two main types of parallelism AND-parallelism and OR-parallelism. The implementation of this model is done on a shared memory multiprocessor. Due to this model the logic program can be described by an AND/OR tree. The different branches of this tree are distributed to the available processing elements (PEs) during run time. Two scheduling techniques have been developed and implemented. In the first scheduler. The PEs are distributed through the AND/OR tree based on the sequential PROLOG (i.e. left-right depth first). The second scheduler is based on the static processing element allocation. Two benchmark programs have been used to assess the performance of this execution model; these are the natural language processing parser and an animal recognition expert system.
Index Terms:
logic programming; parallel programming; software performance evaluation; shared memory systems; trees (mathematics); scheduling; PROLOG; natural languages; logic programs; performance; parallel execution model; MUSE; SICS; AND-parallelism; OR-parallelism; shared memory multiprocessor; AND/OR tree; processing elements; scheduling techniques; sequential PROLOG; left-right depth first; static processing element allocation; benchmark programs; natural language processing parser; animal recognition expert system; parallel programming
Citation:
M. Nour, N. Hegazi, "Exploiting the sources of parallelism in logic programs," isads, pp.0048, Second International Symposium on Autonomous Decentralized Systems (ISADS'95), 1995
Usage of this product signifies your acceptance of the Terms of Use.