implementing Prolog.