Memory Performance of Prolog Architectures

Memory Performance of Prolog Architectures PDF Author: Evan Tick
Publisher: Springer Science & Business Media
ISBN: 1461320178
Category : Computers
Languages : en
Pages : 242

Get Book Here

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

Memory Performance of Prolog Architectures

Memory Performance of Prolog Architectures PDF Author: Evan Tick
Publisher: Springer Science & Business Media
ISBN: 1461320178
Category : Computers
Languages : en
Pages : 242

Get Book Here

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

A High Performance Architecture for Prolog

A High Performance Architecture for Prolog PDF Author: T.P. Dobry
Publisher: Springer Science & Business Media
ISBN: 1461315298
Category : Computers
Languages : en
Pages : 229

Get Book Here

Book Description


A High Performance Architecture for Prolog

A High Performance Architecture for Prolog PDF Author: Thaddeus Paul Dobry
Publisher:
ISBN:
Category : Computer architecture
Languages : en
Pages : 658

Get Book Here

Book Description


VLSI for Artificial Intelligence

VLSI for Artificial Intelligence PDF Author: Jose G. Delgado-Frias
Publisher: Springer Science & Business Media
ISBN: 1461316197
Category : Technology & Engineering
Languages : en
Pages : 285

Get Book Here

Book Description


Programming Language Implementation and Logic Programming

Programming Language Implementation and Logic Programming PDF Author: Jan Małuszyński
Publisher: Springer Science & Business Media
ISBN: 9783540544449
Category : Computers
Languages : en
Pages : 452

Get Book Here

Book Description
This volume contains the papers which have been accepted for presentation atthe Third International Symposium on Programming Language Implementation andLogic Programming (PLILP '91) held in Passau, Germany, August 26-28, 1991. The aim of the symposium was to explore new declarative concepts, methods and techniques relevant for the implementation of all kinds of programming languages, whether algorithmic or declarative ones. The intention was to gather researchers from the fields of algorithmic programming languages as well as logic, functional and object-oriented programming. This volume contains the two invited talks given at the symposium by H. Ait-Kaci and D.B. MacQueen, 32 selected papers, and abstracts of several system demonstrations. The proceedings of PLILP '88 and PLILP '90 are available as Lecture Notes in Computer Science Volumes 348 and 456.

Transputer Research and Applications 4

Transputer Research and Applications 4 PDF Author: North American Transputer Users Group. Conference
Publisher: IOS Press
ISBN: 9789051990409
Category : Computers
Languages : en
Pages : 264

Get Book Here

Book Description


Progress in Artificial Intelligence

Progress in Artificial Intelligence PDF Author: Miguel Filgueiras
Publisher: Springer Science & Business Media
ISBN: 9783540572879
Category : Computers
Languages : en
Pages : 380

Get Book Here

Book Description
This volume presents the proceedings of the 6th Portuguese Conference on Artificial Intelligence, EPIA '93, organized by the Portuguese Artificial Intelligence Association. Like the last two conferences in this series, it was run as an international event with strict requirements as to the quality of accepted submissions. Fifty-one submissions were receivedfrom 9 countries, the largest numbers coming from Portugal (18), Germany (10), and France (8). The volume contains 25 selected papers, together with 7 poster abstracts and one invited lecture: "Organizations as complex, dynamic design problems" by L. Gasser, I. Hulthage, B. Leverich, J. Lieb, and A. Majchrzak, all from the University of Southern California. The papersare grouped into parts on: distributed artificial intelligence, natural language processing, knowledge representation, logic programming, non-standard logics, automated reasoning, constraints, planning, and learning.

Database Systems For Advanced Applications '91 - Proceedings Of The 2nd International Symposium On Database Systems For Advanced Applications

Database Systems For Advanced Applications '91 - Proceedings Of The 2nd International Symposium On Database Systems For Advanced Applications PDF Author: Akifumi Makinouchi
Publisher: World Scientific
ISBN: 9814554588
Category :
Languages : en
Pages : 568

Get Book Here

Book Description
This volume contains 64 papers from contributors around the world on a wide range of topics in database systems research. Of special mention are the papers describing the practical experiences of developing and implementing some of the many useful database systems on the market. Readers should find useful new ideas from the proceedings of this international symposium.

VLSI for Artificial Intelligence and Neural Networks

VLSI for Artificial Intelligence and Neural Networks PDF Author: Jose G. Delgado-Frias
Publisher: Springer Science & Business Media
ISBN: 1461537525
Category : Computers
Languages : en
Pages : 411

Get Book Here

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

Implementations of Logic Programming Systems

Implementations of Logic Programming Systems PDF Author: Evan Tick
Publisher: Springer Science & Business Media
ISBN: 1461526906
Category : Computers
Languages : en
Pages : 260

Get Book Here

Book Description
This volume is a collection of research papers in the area of the implementation of logic programming systems. It will be of immediate interest to practitioners who seek an understanding of how to efficiently manage memory, generate fast code, perform sophisticated static analyses, and design high-performance runtime features. A major theme throughout the book is how to effectively leverage host implementation systems and technologies to implement target systems. The book is also beneficial for future reference because it summarizes a wealth of systems implementation experience of the researchers shaping the field over the past ten years. Another theme of the book is compilation techniques to boost performance. The field of static analysis for logic programs is a rapidly developing field that deserves a volume on its own. Implementations of Logic Programming Systems is an excellent reference and may be used as a text for a course on the subject.