首页
标签
lambda-prolog
Curry 中的 N 元函数和 Prolog 中的 N+1 元关系有什么区别吗?
λProlog 拒绝假设推理查询?
高阶语义在 λProlog 中给你什么?
Lambda Prolog 中的列表理解
在 OSX 10.10.5 上安装 OMake 时出错