adding prolog