Fix prolog call