dummy_prolog 源码
dummy_prolog 这是知识表示和推理@ KAUST的作业,用于实现类似于Prolog的SLD解析器。
下载地址
用户评论