Multiprocessor Execution of Logic Programs

By: Gopal Gupta

Write A Review

Hardcover | 1 December 2009

At a Glance

Hardcover
264 Pages

Dimensions(cm)
24.77 x 16.51 x 2.54

Hardcover

$249.00

or 4 interest-free payments of $62.25 with

Ships in 5 to 7 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $89.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Science Computer Architecture & Logic Design Parallel Processing Computer Programming & Software Development Programming & Scripting Languages Computer Hardware Mainframes & Minicomputers Compilers & Interpreters

Introduction
Survey and Analysis of Parallel Execution Models
Parallel Execution Models for Logic Programs
Analysis of Or-parallel Models for Logic Programs
Combining Independent And- and Or-parallelism
Environment Representation
Distributed Stack Implementation and an Abstract Machine for And-Or Parallel Execution on Shared Memory Multiprocessors
Optimizing And-Or Parallel Models
Extensions and Variations of the And-Or Model
Integrating Dependent and-, Independent and-, and Or-parallelism
And-Or Parallel Implementation of Prolog
Conclusions
Bibliography
Index
Table of Contents provided by Blackwell. All Rights Reserved.

Multiprocessor Execution of Logic Programs

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Compilers & Interpreters

Introduction to Automata Theory and Formal Languages

A Logic Building and Problem-Solving Approach

C# Programming in easy steps

Master C# fundamentals!

Bad Programming Practices 101

Become a Better Coder by Learning How (Not) to Program

Applied Mathematics with F#

NUnit Pocket Reference

Pocket Reference (O'Reilly)

Programming Languages and Systems

35th European Symposium on Programming, ESOP 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11â"16, 2026, Proceedings, Part II

Programming Languages and Systems

35th European Symposium on Programming, ESOP 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11â"16, 2026, Proceedings, Part I

Pragmatic Programmers

Pragmatic Programmers

Metaprogramming Elixir

Write Less Code, Get More Done (and Have Fun!)

Modern Systems Programming with Scala Native

Write Lean, High-Performance Code Without the Jvm

Introduction to Automata Theory and Formal Languages

A Logic Building and Problem-Solving Approach

Compilers

Principles, Techniques, and Tools

Compilers: Pearson New International Edition 2ed

Principles, Techniques, and Tools

Advanced Asic Chip Synthesis : Using Synopsis Design Compiler and Primetime

International Perspectives on Science, Culture and Society

The Art of Automatic Memory Management

Practical Marko

Progressive HTML Rendering and Micro Front-Ends

Compilers

A Practical Approach

Definitive ANTLR 4 Reference

2nd Edition

C++ Programming in easy steps: 6th Edition

Updated for the GNU C Compiler and Visual Studio 2022

Computer Science Logic

14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings

A Retargetable C Compiler

Design and Implementation

Optimizing Compilers for Modern Architectures

A Dependence-Based Approach

Complete Reference

The Complete Reference

Rewriting Techniques and Applications

13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 Proceedings

This product is categorised by