fixed prolog call.