Разница между знаком доллара ($) и знаком числа (или хеша) (#) в прологе

Question

Как я обнаружил, я могу использовать от $ и # в сокращенной версии suspend в Прологе.Следовательно, я могу написать следующий запрос:

?- X $> 2, X = 2.5.

И результат:

X = 2.5
Yes (0.11s cpu)

Так в чем же разница между # и $ и почему результатследующий запрос:

?- X #> 2, X = 2.5.

is:

No (0.02s cpu)

?

Answer 1

Оба они используются для подвеса в прологе в lib(suspend).Однако разница составляет $ для действительных чисел и # для целых чисел.Следовательно, запрос X #> 2, X = 2.5. был отклонен.Например, для запроса X #> 2, X = 3. вы получите yes, и то же самое для общего случая X $> 2, X = 3.