November 28th, 2012, 09:26 pm (no subject) William Byrd's thesis has some fun stuff in it. Tags logic programming