Program : l ; o Prolog.