Prolog - 王四哥达家码

2016-08-26

Prolog是一门建立在逻辑学的基础理论之上的逻辑编程语言。这次段子手王四哥来跟我们分享他对Prolog的理解。

Download the mp3

Show Notes:

讨论的话题:

  • 我们聊一期Prolog的原因
  • Prolog能解决什么数学问题
  • Prolog的逻辑性
  • Prolog里的Fact, Rule 和 Query
  • 学习Prolog的难点 - 理解程序执行的过程
  • 学习Prolog可以先了解WAM
  • 学习Prolog应该理解程序是如何优化的
  • 嘉宾自己的例子说明学习Prolog困难的地方
  • Prolog的生态圈
  • Prolog在工业上擅长的地方
  • 日本第五代计算机系统的故事
  • 嘉宾现在的工作经历
  • 学好Prolog对学其他语言的帮助
  • 嘉宾在南安普敦大学读计算机科学博士的经历
  • 嘉宾谈JAVA
  • 嘉宾写段子的故事
  • 嘉宾将来的规划

URLs: