Add prolog code from my logic class.