有时我不知道Prolog中的"/"是什么意思

Question

我在代码中看到像这样使用的斜杠:

solution([X/Y|Others]) :-
   noattack(X/Y, Others).

但有时我会在Prolog中看到"/ 1""/ 2"等.

这些陈述(字符)是什么意思？

Answer 1

X/Y是该术语的中缀语法/(X, Y),即一个带有两个参数:X和Y的术语,其中有两个参数:X和Y.在这种情况下可以使用中缀语法,因为/被定义为ISO Prolog中的默认运算符之一.就像a+b该术语的中缀语法一样+(a, b),X is Y + Z是中缀语法is(X, +(Y, Z)).