I . a ) Prolog.