Add prolog solution