Newsgroups: comp.lang.prolog
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!news2.near.net!satisfied.elf.com!news.mathworks.com!uunet!world!emkluwer
From: emkluwer@world.std.com (Eric A Maki)
Subject: New Book Announcement
Message-ID: <D4o47y.GKy@world.std.com>
Organization: The World Public Access UNIX, Brookline, MA
X-Newsreader: TIN [version 1.2 PL2]
Date: Mon, 27 Feb 1995 16:52:46 GMT
Lines: 40


Multiprocessor Execution of Logic Programs 
by Gopal Gupta, New Mexico State University, USA 
 
Multiprocessor Execution of Logic Programs addresses the 
problem of efficient implementation of logic programming languages, 
specifically Prolog, on multiprocessor architectures. The approaches 
and implementations developed attempt to take full advantage of 
sequential implementation technology developed for Prolog (such as the 
WAM) while exploiting all forms of control parallelism present in 
logic programs, namely, or-parallelism, independent 
and-parallelism and dependent and-parallelism.  Coverage includes a 
thorough survey of parallel implementation techniques and parallel systems
developed for Prolog.  

Contents: 1. Introduction. Part I: Survey and Analysis of 
Parallel Execution Models. 2. Parallel Execution Models for 
Logic Programs. 3. Analysis of Or-parallel Models for Logic 
Programs. Part II: Combining Independent And- and 
Or-parallelism. 4. Environment Representation. 5. Distributed 
Stack Implementation and an Abstract Machine for And-Or Parallel 
Execution. 6. Optimizing And-Or Parallel Models. Part III: 
Extensions and Variations of the And-Or Model. 7. Integrating 
Dependent and-, Independent and-, and Or-parallelism. 8. And-Or 
Parallel Implementation of Prolog. 9. Conclusions. Bibliography. 
Index.  

1994     264 pp.     Hardbound     ISBN: 0-7923-9489-5    
Kluwer Academic Publishers, Boston
 
For more information on this publication, send e-mail to 
emkluwer@world.std.com, or visit the Kluwer Academic Publishers Information 
Service at
		gopher.wkap.nl
		IP number 190.87.90.1

Our gopher server contains Kluwer's complete publications catalogue, 
including searchable information on over 11,500 books and 260 journals.
 

