All the prolog assignments