Learning Prolog.