prolog comment