首页
程序开发
写作辅助
多媒体
实用工具
博客
当前分类：
lambda-prolog
prolog - λProlog 假设推理 Tic Tac Toe
prolog - Prolog 中基于 De Bruijn 索引的替换
functional-programming - Curry 中的 N 元函数和 Prolog 中的 N+1 元关系有什么区别吗？
prolog - 是否有不需要类型系统的更高阶 Prolog？
prolog - 纯 Prolog 方案 Quine
prolog - λProlog 拒绝假设的推理查询？
macos - 在 OSX 10.10.5 上安装 OMake 时出错
prolog - 高阶 "solutions"谓词
prolog - 还有什么更有趣或更强大的功能: curry ， Mercurial 或Lambda-序言？
«
1
»
热门标签：
编程
数据结构与算法
其他