My prolog assignments