Memory Performance of Prolog Architectures

  • Evan┬áTick

Table of contents

  1. Front Matter
    Pages i-xxi
  2. Evan Tick
    Pages 1-17
  3. Evan Tick
    Pages 19-67
  4. Evan Tick
    Pages 69-102
  5. Evan Tick
    Pages 103-159
  6. Evan Tick
    Pages 161-191
  7. Evan Tick
    Pages 193-199
  8. Back Matter
    Pages 201-231

About this book


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.


Broadcast Fortran Logic Prolog algorithms architecture compiler computer design language natural language performance processor programming standards

Authors and affiliations

  • Evan┬áTick
    • 1
  1. 1.Stanford UniversityStanfordUSA

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag US 1988
  • Publisher Name Springer, Boston, MA
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-4612-9202-9
  • Online ISBN 978-1-4613-2017-3
  • Series Print ISSN 0893-3405
  • Buy this book on publisher's site
Industry Sectors