LIBRA

LIBRA
Author: Jonathan Wayne Mills
Publisher:
Total Pages: 508
Release: 1988
Genre: Computer architecture
ISBN:

Concepts, Design, and Performance Analysis of a Parallel Prolog Machine

Concepts, Design, and Performance Analysis of a Parallel Prolog Machine
Author: Joachim Beer
Publisher: Springer Science & Business Media
Total Pages: 140
Release: 1989-12-13
Genre: Computers
ISBN: 9783540520535

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. 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.

Memory Performance of Prolog Architectures

Memory Performance of Prolog Architectures
Author: Evan Tick
Publisher: Springer
Total Pages: 264
Release: 1988
Genre: Computers
ISBN:

One suspects that the people who use computers for their livelihood are growing more "sophisticated" as the field of computer science evolves. This view might be defended by the expanding use of languages such as C and Lisp in contrast to the languages such as FORTRAN and COBOL. This hypothesis is false however - computer languages are not like natural languages where successive generations stick with the language of their ancestors. Computer programmers do not grow more sophisticated - programmers simply take the time to muddle through the increasingly complex language semantics in an attempt to write useful programs. Of course, these programmers are "sophisticated" in the same sense as are hackers of MockLisp, PostScript, and Tex - highly specialized and tedious languages. It is quite frustrating how this myth of sophistication is propagated by some industries, universities, and government agencies. When I was an undergraduate at MIT, I distinctly remember the convoluted questions on exams concerning dynamic scoping in Lisp - the emphasis was placed solely on a "hacker's" view of computation, i. e. , the control and manipulation of storage cells. No consideration was given to the logical structure of programs. Within the past five years, Ada and Common Lisp have become programming language standards, despite their complexity (note that dynamic scoping was dropped even from Common Lisp). Of course, most industries' selection of programming languages are primarily driven by the requirement for compatibility (with previous software) and performance.

Implementations of Distributed Prolog

Implementations of Distributed Prolog
Author: Peter Kacsuk
Publisher:
Total Pages: 504
Release: 1992-08-11
Genre: Computers
ISBN:

Leading international contributors present papers pertaining to current approaches in the design and implementation of distributed logic languages that are a generation beyond standard Prolog, all of them introducing ideas of distributed and parallel programming in an attempt to bring high performance features to logic programming applications. Details all aspects of underlying research at a number of global centers including language, implementation models and techniques, hardware architecture, performance results, applications and more.

A High Performance Prolog Machine Featuring Distributed Memory and Multiple Overlapped Execution Units

A High Performance Prolog Machine Featuring Distributed Memory and Multiple Overlapped Execution Units
Author: Ian Gibson
Publisher:
Total Pages: 17
Release: 1989
Genre: Computer architecture
ISBN: 9780731688203

Abstract: "The PM5 is a prolog [sic] machine that utilises extensive fine grained parallelism to achieve high execution rates. The design features seven overlapped execution units and six independently accessible memory areas. Each execution unit is dedicated to a specific task involved in prolog [sic] interpretation and has been optimised to that task. The machine architecture is specifically designed to support an efficient execution algorithm that avoids extensive program static analysis."

VLSI for Artificial Intelligence and Neural Networks

VLSI for Artificial Intelligence and Neural Networks
Author: Jose G. Delgado-Frias
Publisher: Springer Science & Business Media
Total Pages: 411
Release: 2012-12-06
Genre: Computers
ISBN: 1461537525

This book is an edited selection of the papers presented at the International Workshop on VLSI for Artifidal Intelligence and Neural Networks which was held at the University of Oxford in September 1990. Our thanks go to all the contributors and especially to the programme committee for all their hard work. Thanks are also due to the ACM-SIGARCH, the IEEE Computer Society, and the lEE for publicizing the event and to the University of Oxford and SUNY-Binghamton for their active support. We are particularly grateful to Anna Morris, Maureen Doherty and Laura Duffy for coping with the administrative problems. Jose Delgado-Frias Will Moore April 1991 vii PROLOGUE Artificial intelligence and neural network algorithms/computing have increased in complexity as well as in the number of applications. This in tum has posed a tremendous need for a larger computational power than can be provided by conventional scalar processors which are oriented towards numeric and data manipulations. Due to the artificial intelligence requirements (symbolic manipulation, knowledge representation, non-deterministic computations and dynamic resource allocation) and neural network computing approach (non-programming and learning), a different set of constraints and demands are imposed on the computer architectures for these applications.