prolog - Prolog中美元符号($)和数字(或井号)符号(#)的区别

Question

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

?- 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。