状态
本话题所属活动已经结束
投票数
17
看看都有谁投票了?

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