Day 8: mat385

Today:

• Return homework 1.5 (graded problems 6 and 11)
  • #6:

    asdf(Animal) :-
    	    prey(Animal),
    	    not(eat(fox,Animal)).
    

  • #11:

• Hand in homework 2.1.

• Last time: Section 2.2: Induction

• Problems from section 2.2 homework?
  • requests?

• Today: Section 2.4: Recursion

Links:

• Mother Goose Math
• Henry E Dudeney (1857 - 1930, pronounced Dude-knee)'s version of Fibonacci numbers: "If a cow produces its first she-calf at age two years and after that produces another single she-calf every year, how many she-calves are there after 12 years, assuming none die?"
• Sample of two different definitions of ancestor-of
• UNIX shell file recurse
• Seektime paper cited in book, Example 46.