bug fixed  prolog compile.