next up previous contents
Next: Exercise Chapter 2.3 Up: Solutions and Comments Previous: Exercise Chapter 2.1

Execise Chapter 2.2

  1. eats(bill,chocolate).

    Here, eats/2 is read as being a relation that holds when the first named object is willing to consume samples of the second named object.

  2. square_root(16,-4).

  3. country(wales).

    The reading is that the one-place `relation' holds when the named object has the status of a country. Here, in our informal description of the semantics of the predicate, we have said nothing about the meaning of what it is to be a country.

Paul Brna
Mon May 24 20:14:48 BST 1999