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
-
7.17.1. OVERVIEW
-
7.17.2. BASIC PROLOG CONCEPTS
-
7.17.2.1. CLAUSES
-
7.17.2.2. FACTS
-
7.17.2.3. RULES
-
7.17.2.4. QUESTIONS
-
7.17.2.4.1. SIMPLE QUESTIONS
-
7.17.2.4.2. QUESTIONS CONTAINING VARIABLES
-
7.17.2.4.3. COMPOUND QUESTIONS
-
7.17.3. SYNTAX
-
7.17.3.1. CHARACTERS
-
7.17.3.2. CONSTANTS
-
7.17.3.2.1. ATOMS
-
7.17.3.2.2. NUMBERS
-
7.17.3.3. VARIABLES
-
7.17.3.4. STRUCTURES
-
7.17.3.5. LISTS
-
7.17.3.6. OPERATORS
-
7.17.3.6.1. ARITHMETIC OPERATORS
-
7.17.3.6.2. COMPARISON OPERATORS
-
7.17.3.6.3. 'OP' DIRECTIVE
-
7.17.3.7. DIFFERENT TYPES OF EQUALITY
-
7.17.3.8. COMMENTS
-
7.17.4. INPUTS AND OUTPUTS
-
7.17.4.1. WRITE AND READ
-
7.17.4.2. READING AND WRITING CHARACTERS
-
7.17.4.3. FILE INPUT AND OUTPUT
-
7.17.5. BUILT-IN PREDICATES
-
7.17.6. PROGRAMS AND PROCEDURES
-
7.17.6.1. PROCEDURES
-
7.17.6.2. DECLARATIVE MEANING AND PROCEDURAL
MEANING
-
7.17.6.3. PROGRAM EXECUTION AND BACKTRACKING
-
7.17.6.4. CONTROL BACKTRACKING WITH 'CUT'
-
7.17.6.5. RECURSIVE PROCEDURES
-
7.16.7. REFERENCES