视频目录 / 组合数学与图论

系列分集

离散数学第 6 讲：归结原理与 Prolog

Lecture 6 -Resolution Principles & Application to PROLOG

从两条含相反文字的逻辑子句出发，画出消去该对文字后留下的新子句。跟着例子看，这条推理规则怎样在逻辑程序中串成一个证明。

nptelhrd · 系列收录

在此播放

讨论出处

• Hacker News · 推荐系列的原讨论 ↗Computer Sc - Discrete Mathematical Structures · 2013-06-09