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. Multiprocessor Execution of Logic Programs is recommended for people implementing parallel logic programming systems, parallel symbolic systems, parallel AI systems, and parallel theorem proving systems. It will also be useful to people who wish to learn about the implementation of parallel logic programming systems.[PS86] J. L. Peterson, A. Silberschatz, aquot;Operating Systems Concepts, aquot; 2nd Edition , Addison Wesley Publishing Co., 1986. [Q88] Quintus Prolog Reference Manual, Quintus Computer Systems, 1988. ... [RK90] B. Ramkumar and L. V. Kale, aquot; Joining And Parallel Solutions in And/ Or Parallel Systems, aquot; In Proc. of NACLP a#39; 90, anbsp;...

Title | : | Multiprocessor Execution of Logic Programs |

Author | : | Gopal Gupta |

Publisher | : | Springer - 1994-10-31 |

You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.

Once you have finished the sign-up process, you will be redirected to your download Book page.

`1.`Register a free 1 month Trial Account.`2.`Download as many books as you like (Personal use)`3.`Cancel the membership at any time if not satisfied.