prolog assignment