prolog - Prolog中美元符号（$）和数字（或哈希）符号（#）的区别

Question

正如我发现的那样，我可以在 Prolog的缩短版本中使用 from$和in 。因此，我可以编写以下查询：#suspend

?- X $> 2, X = 2.5.

结果是：

X = 2.5
Yes (0.11s cpu)

那么以下查询的结果之间有什么区别#以及为什么：$

?- X #> 2, X = 2.5.

是：

No (0.02s cpu)

?

Answer 1

两者都用于序言中的暂停lib(suspend)。但是，区别在于$实数和#整数。因此，该查询X #> 2, X = 2.5.被拒绝。例如，对于你的查询，X #> 2, X = 3.你会得到yes，一般情况下也是一样的X $> 2, X = 3.