回答情况：
提问时间：
问题标签：
例如，Lambda-Prolog特别有趣，因为它允许更高阶的关系，但AFAIK基于直觉逻辑，因此缺乏排除中间原则；这对我来说通常是一个缺点。
浏览 29修改于2020-12-17得票数 21
回答已采纳
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号