Author: Bankim Shah
Publisher:
ISBN:
Category : Parallel processing (Electronic computers)
Languages : en
Pages : 212
Book Description
Exploiting And/or Parallelism in Prolog
Author: Bankim Shah
Publisher:
ISBN:
Category : Parallel processing (Electronic computers)
Languages : en
Pages : 212
Book Description
Publisher:
ISBN:
Category : Parallel processing (Electronic computers)
Languages : en
Pages : 212
Book Description
Exploiting And/or Parallelism in Prolog
Author: Bankim Shah
Publisher:
ISBN:
Category : Parallel processing (Electronic computers)
Languages : en
Pages : 0
Book Description
Publisher:
ISBN:
Category : Parallel processing (Electronic computers)
Languages : en
Pages : 0
Book Description
Automatic Exploitation of OR-parallelism in Prolog
Author: Carole Susan Klein
Publisher:
ISBN:
Category : Automatic theorem proving
Languages : en
Pages : 30
Book Description
Publisher:
ISBN:
Category : Automatic theorem proving
Languages : en
Pages : 30
Book Description
Exploiting OR-parallelism in Prolog Using Multiple Sequential Machines
Author: Carole Susan Klein
Publisher:
ISBN:
Category :
Languages : en
Pages :
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages :
Book Description
Exploiting Fine Grain Parallelism in Prolog
Author: Ashok Singhal
Publisher:
ISBN:
Category : Logic programming
Languages : en
Pages : 492
Book Description
We achieve these goals by first identifying the large sources of overhead in parallel Prolog execution: side-effects caused by parallel tasks, choicepoints created by parallel tasks, task creation, task scheduling, task suspension and context switching.
Publisher:
ISBN:
Category : Logic programming
Languages : en
Pages : 492
Book Description
We achieve these goals by first identifying the large sources of overhead in parallel Prolog execution: side-effects caused by parallel tasks, choicepoints created by parallel tasks, task creation, task scheduling, task suspension and context switching.
Execution Models of Prolog for Parallel Computers
Author: Péter Kacsuk
Publisher: MIT Press (MA)
ISBN:
Category : Parallel processing (Electronic computers)
Languages : en
Pages : 292
Book Description
The research described in this book addresses the semantic gap between logic programming languages and the architecture of parallel computers - the problem of how to implement logic programming languages on parallel computers in a way that can most effectively exploit the inherent parallelism of the language and efficiently utilize the parallel architecture of the computer. Following a useful review of other research results, the first project explores the possibilities of implementing logic programs on MIMD, nonshared memory massively parallel computers containing 100 to 1,000 processing elements. The second investigates the possibility of implementing Prolog on a typical SIMD machine, called a Distributed Processor Array. The author's objectives are to define a parallel computational paradigm (the Extended Cellular-Dataflow Model) that can be used to create a Parallel Prolog Abstract Machine as a general starting point for implementing logic programming languages on parallel computers, to exploit the different types of parallelism of these programs, to define an efficient parallel logic machine, to explore the possibilities of implementing logic programming languages on array processors, such as the DAP, to invent parallel implementation techniques for effectively executing Prolog on the DAP, and to define a parallel extension of Prolog that is able to utilize the processor aggregate of the DAP for effectively solving numerical subproblems within logic programs Peter Kacsuk is with Multilogic Computing Ltd. of Budapest, Hungary.
Publisher: MIT Press (MA)
ISBN:
Category : Parallel processing (Electronic computers)
Languages : en
Pages : 292
Book Description
The research described in this book addresses the semantic gap between logic programming languages and the architecture of parallel computers - the problem of how to implement logic programming languages on parallel computers in a way that can most effectively exploit the inherent parallelism of the language and efficiently utilize the parallel architecture of the computer. Following a useful review of other research results, the first project explores the possibilities of implementing logic programs on MIMD, nonshared memory massively parallel computers containing 100 to 1,000 processing elements. The second investigates the possibility of implementing Prolog on a typical SIMD machine, called a Distributed Processor Array. The author's objectives are to define a parallel computational paradigm (the Extended Cellular-Dataflow Model) that can be used to create a Parallel Prolog Abstract Machine as a general starting point for implementing logic programming languages on parallel computers, to exploit the different types of parallelism of these programs, to define an efficient parallel logic machine, to explore the possibilities of implementing logic programming languages on array processors, such as the DAP, to invent parallel implementation techniques for effectively executing Prolog on the DAP, and to define a parallel extension of Prolog that is able to utilize the processor aggregate of the DAP for effectively solving numerical subproblems within logic programs Peter Kacsuk is with Multilogic Computing Ltd. of Budapest, Hungary.
Multiprocessor Execution of Logic Programs
Author: Gopal Gupta
Publisher: Springer Science & Business Media
ISBN: 1461527783
Category : Computers
Languages : en
Pages : 251
Book Description
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.
Publisher: Springer Science & Business Media
ISBN: 1461527783
Category : Computers
Languages : en
Pages : 251
Book Description
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.
FGCS '92
Author:
Publisher: IOS Press
ISBN: 9784274077241
Category : Computer architecture
Languages : en
Pages : 788
Book Description
Publisher: IOS Press
ISBN: 9784274077241
Category : Computer architecture
Languages : en
Pages : 788
Book Description
P-prolog: A Parallel Logic Programming Language
Author: Rong Yang
Publisher: World Scientific
ISBN: 9814522155
Category : Computers
Languages : en
Pages : 152
Book Description
P-Prolog is put forward as an alternative proposal to the difficulties faced in the main research areas of parallel logic programmings, which have been studied. P-Prolog provides the advantages of guarded Horn clauses while retaining don't know non-determinism where required. This monograph presents also an or-tree model and an implementation scheme for it, to combine and- and or- parallelism with reasonable efficiency. The model and implementation scheme discussed can be applied to P-Prolog and other parallel logic languages.
Publisher: World Scientific
ISBN: 9814522155
Category : Computers
Languages : en
Pages : 152
Book Description
P-Prolog is put forward as an alternative proposal to the difficulties faced in the main research areas of parallel logic programmings, which have been studied. P-Prolog provides the advantages of guarded Horn clauses while retaining don't know non-determinism where required. This monograph presents also an or-tree model and an implementation scheme for it, to combine and- and or- parallelism with reasonable efficiency. The model and implementation scheme discussed can be applied to P-Prolog and other parallel logic languages.
Exploiting and-or parallelism in Prolog
Author: I. P. Vlachavas
Publisher:
ISBN:
Category : Parallel processing (Electronic computers)
Languages : en
Pages : 33
Book Description
Publisher:
ISBN:
Category : Parallel processing (Electronic computers)
Languages : en
Pages : 33
Book Description