Recognizing prolog..