Start prolog assignment