prolog syntax highlighting