Parallel Unification Scheduling in Prolog
Author: Wayne Victor Citrin
Publisher:
Published: 1988
Total Pages: 664
ISBN-13:
DOWNLOAD EBOOKPosts
Parallelization in Inference Systems
Author: Bertram Fronhöfer
Publisher: Springer Science & Business Media
Published: 1992-04-22
Total Pages: 390
ISBN-13: 9783540554257
DOWNLOAD EBOOKThis volume contains the proceedings of an international workshop on parallelism in inference systems held in Germany in December 1990. The topicof the workshop is still rather young and several papers in the book are overview articles intended to provide a first orientation toward some of the more intensively investigated subtopics. The main part of the book is a compilation of research papers on parallelization in special domains ofinference such as rewriting, automatic reasoning, logic programming, andconnectionist inference. Appended to the book is a collection of short project summaries received in response to a worldwide email call. The book is intended primarily for researchers working on inference systems who are interested in parallelizing their systems.
Energy Research Abstracts
Author:
Publisher:
Published: 1992
Total Pages: 886
ISBN-13:
DOWNLOAD EBOOKHigh Performance Execution of Prolog Programs Based on a Static Data Dependency Analysis
Author: Jung-Herng Chang
Publisher:
Published: 1985
Total Pages: 318
ISBN-13:
DOWNLOAD EBOOKA scheme to exploit AND-parallelism is also prosposed. It includes generating parallel executable tasks by the SDDA, using a set of message protocols to coordinate co-operating processes, exploiting both intelligent backtracking and parallel backtracking. It is shown that Prolog has potential in parallel processing because of its procedural invocation, non-deterministic execution, concise syntax, single-assignment variable bindings, and local variable scoping.
Parallel Architectures for Data/knowledge-based Systems
Author: L. L. Miller
Publisher:
Published: 1995
Total Pages: 624
ISBN-13:
DOWNLOAD EBOOKConcepts, Design, and Performance Analysis of a Parallel Prolog Machine
Author: Joachim Beer
Publisher: Springer Science & Business Media
Published: 1989-12-13
Total Pages: 140
ISBN-13: 9783540520535
DOWNLOAD EBOOKThis 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. To support the model an architecture consisting of a circular pipeline of independent processors has been designed. This pipeline has been designed to work as a co-processor to a UNIX based workstation. In contrast to other attempts to execute sequential Prolog in parallel, the proposed model does not restrict the use of any of the standard Prolog language features. The book gives a full account of the execution model, the system architecture, and the abstract Prolog instruction set.
Computational Intelligence, III
Author: G. Valle
Publisher: Elsevier
Published: 1991-07-01
Total Pages: 336
ISBN-13: 0444597409
DOWNLOAD EBOOKIn recent years AI has been experiencing a deep internal debate on the appropriateness of the symbolic-based paradigm and all of its consequences. While various symbolic representation schemes, as well as their integration, have been proposed, their limitations have continuously pushed researchers for improved versions or entirely new ones. New viewpoints such as the complex dynamic-based approach with neural nets can be regarded simply as new problem solving techniques with specific properties. Under this perspective, what seems to be important is the ability to combine heterogeneous representation and problem-solving techniques. Research on heterogeneous, intelligent systems goes hand in hand with research on specific problem solving methods and paradigms, therefore representing their conceptual and practical glueing element. The papers contained in this proceedings are just one instance of such awareness activity in the international scientific community.
Static Analysis
Author: Baudouin LeCharlier
Publisher: Springer Science & Business Media
Published: 1994-09-14
Total Pages: 474
ISBN-13: 9783540584858
DOWNLOAD EBOOKThis volume presents the proceedings of the First International Static Analysis Symposium (SAS '94), held in Namur, Belgium in September 1994. The proceedings comprise 25 full refereed papers selected from 70 submissions as well as four invited contributions by Charles Consel, Saumya K. Debray, Thomas W. Getzinger, and Nicolas Halbwachs. The papers address static analysis aspects for various programming paradigms and cover the following topics: generic algorithms for fixpoint computations; program optimization, transformation and verification; strictness-related analyses; type-based analyses and type inference; dependency analyses and abstract domain construction.
P-prolog: A Parallel Logic Programming Language
Author: Rong Yang
Publisher: World Scientific
Published: 1988-01-01
Total Pages: 152
ISBN-13: 9814522155
DOWNLOAD EBOOKP-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.
