Some educational logic progamming, based off of the exercises in Peter Norvig's book about Lisp AI.