Assignment 3-Prolog