prolog assignments