Prolog 列表和运算符 <4>

今天我们在这篇 post 中介绍一下列表和运算符, 相信熟悉或者玩过函数式编程语言的朋友可能已经在函数式编程中掌握了列表, 而今天我带来的是逻辑式编程语言 Prolog 中的列表, 以及它的使用. 当然我还会在今天简单介绍一下 Prolog 中的运算符(Arithmetic). »

Prolog 递归 <3>

在这一次的 post 中, 我们将要介绍 Prolog 中的递归定义, 也就是说, 一个 predicate 如果它定义了一个或多个引用自己的规则, 那么这个 predicate 就是递归的. 递归的定义非常地简单: is_digesting(X,Y):-just_ate(X,Y »

Prolog 基础 <1>

为什么学习 Prolog? Prolog 是种逻辑式的编程语言. 我第一次见到这个名字的时候大约实在我学习 SICP 的过程中, 实现了一个简单的逻辑式语言的解释器. 之后我又在 CTMCP 一书中的 Relational Programming 和 Logical Progra »