CS352 Prolog Assignment