prolog - 前言中的双箭头

Question

在随后的演算中，有一个双箭头，该双箭头被读为箭头左侧的连词，表示箭头右侧的分离。 Prolog中有此符号吗？该符号可以写为=>或|-。

Answer 1

不幸的是，竖线('|')在ISO Prolog中未归类为图形。它像逗号('，')一样被归类为独奏。之所以选择竖线，是因为它与逗号一起用作尾列表中的分隔符，例如[X，Y | Z]。

结果，竖线不会与其他图形字符合并并形成 token 。因此，例如，您可以将减号('-')和大于号('>')的图形字符一起书写以形成->，将其作为一个标记读取。这对于竖线不起作用。

但是，同时有两个Prolog系统支持unicode。因此，一种解决方法是直接使用unicode turnstile⊢(U + 22A2)。到目前为止，这在两个Prolog系统中有效:

SWI-序言:

?- op(1100,xfx,⊢).
true.

?- X = (F ⊢ G).
X =  (F⊢G).

Jekejeke序言:

?- op(1100,xfx,⊢).
Yes

?- X = (F ⊢ G).
X = (F⊢G)