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).
    eats(bill,bananas).
    eats(bill,cheese).

    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).
    square_root(16,4).

  3. country(wales).
    country(ireland).
    country(scotland).

    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