first sentence in prolog.