Question

在后续微积分中有一个双箭头，因为箭头左侧的连接意味着箭头右侧的分离。 Prolog中有符号吗？符号可写为=＆gt;或| - 。

Answer 1

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

因此，竖线不会与其他图形字符合并并形成令牌。因此，例如，您可以将减号（'-'）和大于（'>'）的图形字符一起书写以形成->，这将被视为一个标记。这不适用于垂直条。

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

SWI-Prolog：

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

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

Jekejeke序言：

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

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