16、Prolog编程深入探索：运算符、推理引擎与用户界面定制

Prolog编程深入探索：运算符、推理引擎与用户界面定制

1. 运算符含义赋予

在Prolog中，运算符定义仅规定了其语法，而运算符的含义或语义则由程序员决定。例如，过去一些Prolog版本使用 & （与符号）而非逗号来连接复合目标的元素。这样做的好处是复合目标不会看起来像参数列表。

1.1 & 运算符的定义

在普通Prolog中，我们也可以定义 & 运算符来实现类似功能。首先，定义其语法：

:- op(50,xfy,&).

这里，我们希望 & 是一个中缀运算符，其优先级略低于逗号，这样 f(a&b,c) 将表示 f((a&b),c) ，而不是 f(a&(b,c)) ，并且 & 应该是右结合的。

接下来，告诉Prolog如何解决包含 & 的目标：

GoalA & GoalB :- call(GoalA), call(GoalB).

这是一个普通的Prolog规则，也可以写成：

'&