Logic Programming Outline for today Recursion Recursion (1)