Prolog 匹配 <2>

这篇 post 有两个主要的目的: 讨论 Prolog 中的匹配, 解释匹配(match)与相等的不同. 使用 Prolog 搜索的机制解决一些问题. ##Matching Prolog 中有三种不同的 term, 分别的 constants, variables 和 complex terms.... »

Author image

Prolog 基础 <1>

##为什么学习 Prolog? Prolog 是种逻辑式的编程语言. 我第一次见到这个名字的时候大约实在我学习 SICP 的过程中, 实现了一个简单的逻辑式语言的解释器. 之后我又在 CTMCP 一书中的 Relational Programming 和 Logical Programming 中多次见到 Prolog 的身影, 加上我本身对于各种编程语言非常地感兴趣,... »

Author image