prolog highlighting