Logic Programming Lecture 3: Recursion, lists, and data structures James Cheney Logic Programming October 8, 2009 Outline for today Recursion - proof search behavior and…
