这个题我记得是我们老师上课讲过,好像叫基于谓词逻辑的推理。
点赞 评论

相关推荐

牛客网
牛客网在线编程
牛客网题解
牛客企业服务