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


Memory Performance of AND-parallel Prolog on Shared-memory Architectures

Memory Performance of AND-parallel Prolog on Shared-memory Architectures PDF Author: Manuel Hermenegildo
Publisher:
ISBN:
Category : Computer storage devices
Languages : en
Pages : 22

Get Book Here

Book Description
Results are given both at the memory reference level and at the memory organization level. A two-level shared-memory architecture model is presented together with an analysis of various solutions to the cache coherency problem. Finally, PWAM shared-memory simulation results are presented. It is argued that the PWAM model can attain speeds in excess of 2 MLIPS with current technology for real applications which exhibit medium degrees of parallelism."

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.

A High Performance Architecture for Prolog

A High Performance Architecture for Prolog PDF Author:
Publisher:
ISBN:
Category :
Languages : en
Pages : 311

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.

Implementations of Logic Programming Systems

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

Get Book Here

Book Description
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 serves as an excellent reference and may be used as a text for a course on the subject.

Euro-Par’ 99 Parallel Processing

Euro-Par’ 99 Parallel Processing PDF Author: Patrick Amestoy
Publisher: Springer
ISBN: 354048311X
Category : Computers
Languages : en
Pages : 1503

Get Book Here

Book Description
Euro-Parisaninternationalconferencededicatedtothepromotionandadvan- ment of all aspects of parallel computing. The major themes can be divided into the broad categories of hardware, software, algorithms and applications for p- allel computing. The objective of Euro-Par is to provide a forum within which to promote the development of parallel computing both as an industrial te- nique and an academic discipline, extending the frontier of both the state of the art and the state of the practice. This is particularly important at a time when parallel computing is undergoing strong and sustained development and experiencing real industrial take-up. The main audience for and participants in Euro-Parareseenasresearchersinacademicdepartments,governmentlabora- ries and industrial organisations. Euro-Par’s objective is to become the primary choice of such professionals for the presentation of new results in their specic areas. Euro-Par is also interested in applications which demonstrate the e - tiveness of the main Euro-Par themes. There is now a permanent Web site for the series http://brahms. fmi. uni-passau. de/cl/europar where the history of the conference is described. Euro-Par is now sponsored by the Association of Computer Machinery and the International Federation of Information Processing. Euro-Par’99 The format of Euro-Par’99follows that of the past four conferences and consists of a number of topics eachindividually monitored by a committee of four. There were originally 23 topics for this year’s conference. The call for papers attracted 343 submissions of which 188 were accepted. Of the papers accepted, 4 were judged as distinguished, 111 as regular and 73 as short papers.

Transputer Research and Applications 4

Transputer Research and Applications 4 PDF Author: North American Transputer Users Group. Conference
Publisher: IOS Press
ISBN: 9789051990409
Category : Parallel processing (Electronic computers)
Languages : en
Pages : 264

Get Book Here

Book Description