我们可以在 Prolog 中将 X/Y 或 X:Y 放在什么类别中

Question

如果我在 Prolog 中使用这样的东西

test(X/Y).

或

test(X:Y).

所以X:Y和X/Y被认为是一个变量，还是一个字符串？

我们可以把它放在什么类别中？

Answer 1

X/Y和X:Y都是复合词。尝试：

?- functor(X/Y, Functor, Arity).
Functor =  (/),
Arity = 2.

?- X/Y =.. [Functor| Arguments].
Functor =  (/),
Arguments = [X, Y].

?- functor(X:Y, Functor, Arity).
Functor =  (:),
Arity = 2.

?- X:Y =.. [Functor| Arguments].
Functor =  (:),
Arguments = [X, Y].

/和:都是标准的中缀运算符：

?- current_op(Priority, Type, /).
Priority = 400,
Type = yfx.

?- current_op(Priority, Type, :).
Priority = 600,
Type = xfy.

类型yfx表示运算符是左结合:

?- write_canonical(x/y/z).
/(/(x,y),z)
true.

而类型xfy表示运算符是右结合:

?- write_canonical(x:y:z).
:(x,:(y,z))
true.

我们可以在 Prolog 中将 X/Y 或 X:Y 放在什么类别中

In what category can we put X/Y or X:Y in Prolog

syntax

prolog

nomenclature