Sep 22, 2003
-------------

- Next steps
        - predicate logic
        - overcomes cumbersomeness of 
          propositional logic
        - encodes relationships among objects

- connections between CS4604 and CS4804
        - relations become predicates
        - tuples become facts
        - attributes become arguments

- Defining relations
        - by extension
        - by intension
                - need quantifiers

- Types of quanitifiers
        - "for all"
        - "there exists"

- Natural connectives
        - "for all": use "->"
        - "there exists": use "^"

- Scoping connectives
        - Everybody loves somebody
        - There is somebody that 
          is loved by everybody

- One can be expressed in terms of other!
        - neeed to take only one of them to
          the island

- Proving simple facts
        - Every CS course is an easy course.
        - CS 4804 is a CS course.
        - CS 4804 is easy.

- What do you need
        - a way to match variables (called unification)
        - resolution, to resolve clauses