operators - 什么是Prolog中的->运算符，该如何使用？

Question

我在一本书中已经读过它，但是根本没有解释。我也从未在程序中看到它。是Prolog语法的一部分吗？这是为了什么？你会用吗？

Answer 1

它代表着含义。仅当左侧为true时，才执行右侧。因此，如果您有此代码，

implication(X) :-
  (X = a ->
    write('Argument a received.'), nl
  ; X = b ->
    write('Argument b received.'), nl
  ;
    write('Received unknown argument.'), nl
  ).

然后它将根据其参数编写不同的内容:

?- implication(a).
Argument a received.
true.

?- implication(b).
Argument b received.
true.

?- implication(c).
Received unknown argument.
true.

( link to documentation。)