Contents

• Types of programming language
• Types of declarative language
• An example of Prolog
• Clauses
• Program components
• Example of structure-processing: complex numbers.
• Example of list processing
• Another example of list processing
• Uses of lists
• Lists for parse trees
• Lists for graphs
• The two ways to represent graphs
• Operators
• Symbolic differentiation
• A note on the quantification of variables
• The top-level interpreter
• Example of top-level interpreter
• Non-logical predicates
• Example of non-logical predicates
• Other built-in predicates
• When dynamically adding clauses is useful
• Memo-functions
• Memo-functions with lists
• How Prolog works
• The effect of clause ordering
• The cut
• Advantages of Prolog
• What are Prolog's disadvantages?
• Techniques
• Incorporating strategic knowledge
• PRESS
• Implementing other inference systems
• About this document ...