dummy_prolog 这是知识表示和推理@ KAUST的作业,用于实现类似于Prolog的SLD解析器。