Add prolog setup