Reading Exercise #8
Due 5:00 PM, Tuesday March 9, 2015
for Chapter 11 (pp 545-571) of the Scott Text.

Content of reading exercise #8

  1. What are the characteristics of Logic programming languages?
  2. What is the resolution principle?
  3. Explain unification and how it works in Prolog.
  4. Describe Prolog's evaluation scheme. i.e. how does it answer a query?
  5. Why does the ordering of clauses matter in Prolog?
  6. Explain the closed world assumption in Prolog.
  7. What does it mean for a language to be homoiconic?
  8. In what way does Prolog's use of Horn clauses restrict the types of statements that can be expressed?