prolog与编程语言

tertio于“2013年01月24日”创建了这个话题，计划在“2013年01月26日”的“逢新岁月”活动中演讲

分享到:

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与编程语言的评论