Memory Performance of Prolog Architectures

Memory Performance of Prolog Architectures

Author: Evan Tick

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 242

ISBN-13: 1461320178

DOWNLOAD EBOOK

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.


Programming Language Implementation and Logic Programming

Programming Language Implementation and Logic Programming

Author: Jan Małuszyński

Publisher: Springer Science & Business Media

Published: 1991-08-14

Total Pages: 452

ISBN-13: 9783540544449

DOWNLOAD EBOOK

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.


Progress in Artificial Intelligence

Progress in Artificial Intelligence

Author: Miguel Filgueiras

Publisher: Springer Science & Business Media

Published: 1993-09-21

Total Pages: 380

ISBN-13: 9783540572879

DOWNLOAD EBOOK

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

Author: Evan Tick

Publisher: Springer Science & Business Media

Published: 1994-06-30

Total Pages: 288

ISBN-13: 9780792394570

DOWNLOAD EBOOK

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.


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

Author: Akifumi Makinouchi

Publisher: World Scientific

Published: 1992-09-21

Total Pages: 568

ISBN-13: 9814554588

DOWNLOAD EBOOK

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.


Euro-Par’ 99 Parallel Processing

Euro-Par’ 99 Parallel Processing

Author: Patrick Amestoy

Publisher: Springer

Published: 2003-05-21

Total Pages: 1530

ISBN-13: 354048311X

DOWNLOAD EBOOK

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.


Programming Language Implementation and Logic Programming

Programming Language Implementation and Logic Programming

Author: Pierre Deransart

Publisher: Springer Science & Business Media

Published: 1990-08-08

Total Pages: 420

ISBN-13: 9783540530107

DOWNLOAD EBOOK

This volume consists of the papers accepted for presentation at the second international workshop on Programming Language Implementation and Logic Programming (PLILP '90) held in Linköping, Sweden, August 20-22, 1990. The aim of the workshop was to identify concepts and techniques used both in implementation of programming languages, regardless of the underlying programming paradigm, and in logic programming. The intention was to bring together researchers working in these fields. The volume includes 26 selected papers falling into two categories. Papers in the first category present certain ideas from the point of view of a particular class of programming languages, or even a particular language. The ideas presented seem to be applicable in other classes of languages. Papers in the second category directly address the problem of integration of various programming paradigms. The proceedings of the predecessor workshop PLILP '88, held in Orléans, France, May 16-18, 1988, are available as Lecture Notes in Computer Science, Vol. 348.