Prolog assignments for CSC 372