Day 5: mat385

Today:

• Return homework 1.2.
  • Graded 9 and 17
  • Reminder: you're free to come by and look over the solution manual.

• Hand in homework 1.3

• Section 1.4 (pdf): Predicate logic

• Questions on old stuff/homework?

• Section 1.5 (pdf): Logic Programming

• SWI-Prolog: a freely available version of prolog (here's a local copy of version 4.10 -- not the latest))
• 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?