Day 5: mat385

Today:

• Note: you're free to come by and look over the solution manual.

• Return homework 1.2. Got lucky: both were in the back.
  • 21 was supposed to prove disjunctive syllogism; you weren't to use ds to "prove" 12!

• Hand in homework 1.3 - or not? Want to hand it in by midnight Thursday?

• Problems from section 1.3 homework
  • 8b
  • 10e

• Section 1.4: Predicate logic

• Problems from section 1.4 homework

• Section 1.5: Logic Programming

  Some prolog links:

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