7.17. PROLOG

Copyright: Department of Computer Science, University of Regina
Originally Written in 1996 by Zhiwei Wang
Last updated in July 2001 by Zhiwei Wang
  1. 7.17.1. OVERVIEW
  2. 7.17.2. BASIC PROLOG CONCEPTS
    1. 7.17.2.1. CLAUSES
    2. 7.17.2.2. FACTS
    3. 7.17.2.3. RULES
    4. 7.17.2.4. QUESTIONS
      1. 7.17.2.4.1. SIMPLE QUESTIONS
      2. 7.17.2.4.2. QUESTIONS CONTAINING VARIABLES
      3. 7.17.2.4.3. COMPOUND QUESTIONS
  3. 7.17.3. SYNTAX
    1. 7.17.3.1. CHARACTERS
    2. 7.17.3.2. CONSTANTS
      1. 7.17.3.2.1. ATOMS
      2. 7.17.3.2.2. NUMBERS
    3. 7.17.3.3. VARIABLES
    4. 7.17.3.4. STRUCTURES
    5. 7.17.3.5. LISTS
    6. 7.17.3.6. OPERATORS
      1. 7.17.3.6.1. ARITHMETIC OPERATORS
      2. 7.17.3.6.2. COMPARISON OPERATORS
      3. 7.17.3.6.3. 'OP' DIRECTIVE
    7. 7.17.3.7. DIFFERENT TYPES OF EQUALITY
    8. 7.17.3.8. COMMENTS
  4. 7.17.4. INPUTS AND OUTPUTS
    1. 7.17.4.1. WRITE AND READ
    2. 7.17.4.2. READING AND WRITING CHARACTERS
    3. 7.17.4.3. FILE INPUT AND OUTPUT
  5. 7.17.5. BUILT-IN PREDICATES
  6. 7.17.6. PROGRAMS AND PROCEDURES
    1. 7.17.6.1. PROCEDURES
    2. 7.17.6.2. DECLARATIVE MEANING AND PROCEDURAL MEANING
    3. 7.17.6.3. PROGRAM EXECUTION AND BACKTRACKING
    4. 7.17.6.4. CONTROL BACKTRACKING WITH 'CUT'
    5. 7.17.6.5. RECURSIVE PROCEDURES
  7. 7.16.7. REFERENCES