cdc-coteauxdegaronne
» » Execution Models of PROLOG for Parallel Computers (Research monographs in parallel distributed computing)
eBook Execution Models of PROLOG for Parallel Computers (Research monographs in parallel  distributed computing) ePub

eBook Execution Models of PROLOG for Parallel Computers (Research monographs in parallel distributed computing) ePub

by Peter Kacsuk

  • ISBN: 0273088068
  • Category: Hardware and DIY
  • Subcategory: Computers
  • Author: Peter Kacsuk
  • Language: English
  • Publisher: Financial Times Prentice Hall (January 1990)
  • Pages: 288
  • ePub book: 1814 kb
  • Fb2 book: 1582 kb
  • Other: lrf lrf txt mbr
  • Rating: 4.1
  • Votes: 566

Description

Start by marking Execution Models Of Prolog For Parallel Computers as Want to Read .

Start by marking Execution Models Of Prolog For Parallel Computers as Want to Read: Want to Read savin. ant to Read.

A fully distributed OR-parallel Prolog implementation scheme is shown in the paper based on the recomputation model. Muse (Multi-sequential Prolog engines) is a simple and efficient approach to Or-parallel execution of Prolog programs.

Cite this paper as: Kacsuk P. (1990) Prolog implementations on parallel computers.

Execution Models of Prolog for Parallel Computers, Pitman Publishing/MIT Press, 1990Google Scholar. Systolic Programming: A Paradigm of Parallel Processing, Proc. on Fifth Generation Comp. Systems, 1984, 458–470Google Scholar. 1. entre for Parallel ComputingQueen Mary and Westfield CollegeLondonUK. Cite this paper as: Kacsuk P. In: Burkhart H. (eds) CONPAR 90 - VAPP IV. VAPP 1990, CONPAR 1990. Lecture Notes in Computer Science, vol 457. Springer, Berlin, Heidelberg.

Parallel computing is a type of computation in which many calculations or the execution of processes are carried out simultaneously. Large problems can often be divided into smaller ones, which can then be solved at the same time

Parallel computing is a type of computation in which many calculations or the execution of processes are carried out simultaneously. Large problems can often be divided into smaller ones, which can then be solved at the same time. There are several different forms of parallel computing: bit-level, instruction-level, data, and task parallelism.

He has worked on the development. of parallel software for circuit simulation, speech recognition, and the simulation. of large networks of biologically accurate neurons. Peter has been teaching

He has worked on the development. Peter has been teaching. parallel computing at both the undergraduate and graduate levels for nearly twenty. He is the author of Parallel Programming with MPI, published by Morgan.

This monograph presents a novel execution model for the parallel execution of standard sequential Prolog. In this execution model Prolog procedure calls can be efficiently pipelined, and the author shows how even fully deterministic Prolog programs can be effectively mapped onto the proposed architecture. The design is based on a highly optimized abstract Prolog specific instruction set. A special feature of this work is a sophisticated classification scheme for Prolog variables which substantially reduces the overhead for unification with occur-check.