CS330 Spring 2004 Lecture 29
George Tzanetakis
Slides
Logic Programming I
Suggested exercises
12.3, 12.14