Prolog中美元符号（$）和数字（或哈希）符号（＃）之间的区别

Question

我发现我可以在Prolog中$的简化版本中使用#和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.