6 - Prolog Search and Backtracking

7 - Advanced topics in Prolog