Day 5: mat385

Today:

• Return homework 1.2.
  • Graded 13 and 31, both in the back. Use the book, rather than miss points!
  • #31

• Hand in homework 1.3

• Section 1.4: Predicate logic
  • Temporary hypotheses
  • Additional problems

• Questions on old stuff/homework?

• Section 1.5: Logic Programming

• SWI-Prolog: a freely available version of prolog (here's a local copy)
• Demo file for SWI-Prolog using text Example 39, p. 64.
• Demo file for SWI-Prolog using text Example 39, p. 64, and adding the statement "eat(fish,bear)".
• An on-line Prolog programming book.
• Screen shots of SWI-Prolog:
  • The start of Example 39
  • Which are prey?