code: def batch_star(self, path):
          
          if lib.EnvBatchStar(self._env, path.encode()) != 1:
              raise CLIPSError(self._env)
docs: Evaluate the commands contained in the specific path.
  
          The Python equivalent of the CLIPS batch* command.