Prolog syntax highlighting