All the Prolog assignments