Logic Programming Assignments in Prolog