Day 5: mat385

Today:

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

• Hand in homework 1.3

• Section 1.4: Predicate logic

• 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?