A New approach for introducing Prolog to naive users

  • Oded Maler
  • Zahava Scherz
  • Ehud Shapiro
Session 5b: Applications And Teaching
Part of the Lecture Notes in Computer Science book series (LNCS, volume 225)


Most Prolog textbooks are based on gradual presentation of Prolog's concepts, as well as some concepts from logic. We think that this order of presentation used in most books is inadequate for readers with little prior experience with logic, mathematics or programming. In this paper we introduce a new approach for teaching Prolog to these “naive” users. Within our framework, the order of concept introduction is based upon the order used in teaching logic: from propositions to predicates. We believe that this approach will ease the difficulties encountered by newcomers to Prolog, and will provide a good basis for better understanding of logic, programming, data-base theory, and perhaps also other relevant disciplines.

The choice of Prolog as a first programming language is also discussed, and we argue that it is a better choice than conventional languages in the same sense that those languages are considered better than machine languages. This claim however should be empirically verified.


Logic Programming Predicate Symbol Conjunctive Query Unary Predicate Proof Procedure 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    J. Briggs, Micro-Prolog Rules!, Logic Programming Associates, London, 1984.Google Scholar
  2. [2]
    K. Clark and F. McCabe, Micro-Prolog — Programming in Logic, Prentice-Hall, Englewood, 1984.Google Scholar
  3. [3]
    W. Clocksin and C. Mellish, Programming in Prolog, Springer-Verlag, Berlin, 1981.Google Scholar
  4. [4]
    R. Ennals, Beginning Micro-Prolog, Ellis Horwood, Chichester, 1984.Google Scholar
  5. [5]
    O. Maler, Z. Scherz and E. Shapiro, A New Approach for Introducing Prolog to Naive Users, Technical Report CS86-3, The Weizmann Institute, 1986.Google Scholar
  6. [6]
    S. Safra, Wisdom Prolog Interpreter, Unpublished, 1984.Google Scholar
  7. [7]
    L. Sterling and E. Shapiro, The Art of Prolog, MIT Press, (to be published).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • Oded Maler
    • 1
  • Zahava Scherz
    • 1
  • Ehud Shapiro
    • 1
  1. 1.Weizmann Institute of ScienceRehovotIsrael

Personalised recommendations