- 状态
- 本话题所属活动已经结束
- 投票数
- 17票 看看都有谁投票了?
prolog与编程语言
1 prolog以模式匹配为核心的推理机制
prolog的交互式解释,调试与运行.
2 与数据库的关系: 查询与匹配
关系代数与谓词逻辑
用prolog实现SQL查询
3 与函数式的关系及Erlang的起源
prolog实现函数式
Erlang诞生之初的prolog代码
4 与OO的关系: 鸭子类型,消息分派
模式匹配实现鸭子类型
最灵活的消息分派在prolog
5 优势与缺陷,及解决方案
逻辑与世界状态的变化
演讲以PPT方式呈现
时间大约在30-40分钟左右
申请人: tertio
豆瓣prolog小组创建人: 远古邪恶巨咪
工作内容: 用模式匹配创建新的编程语言rationese
小组地址: http://www.douban.com/group/prolog/
豆瓣主页: http://www.douban.com/people/zhangiii/
prolog与编程语言的评论