Prolog assignment