摘要：
## 中断在Prolog的运用上一节我们学习了中断是什么。但是在实际编程时如何使用，为什么这个机制会有作用呢？第一个例子，让我们定义一个没有中断的谓词max/3，其中所有的参数都是整数，并且当第三个参数为前两个参数中较大的一个时，谓词为真。比如，查询： ?- max(2, 3, 3). ... 阅读全文
|
摘要：
## 中断在Prolog的运用上一节我们学习了中断是什么。但是在实际编程时如何使用，为什么这个机制会有作用呢？第一个例子，让我们定义一个没有中断的谓词max/3，其中所有的参数都是整数，并且当第三个参数为前两个参数中较大的一个时，谓词为真。比如，查询： ?- max(2, 3, 3). ... 阅读全文
|