Пролог Проблема с функцией "есть"

Question

У меня проблема с прологом, которую я не понимаю. Я использовал трассировщик для отслеживания проблемы, и вот что происходит

....
(8) 8 NEXT  value(debt, p9, Orly)
  (8) 8 *EXIT  value(debt, p9, low)
  (9) 8 CALL  P is low
S (10) 9 CALL  error_handler(21, P is low, eclipse, sepia_kernel)
...error crap, more "leaves" calls....

Что не так с звонком «Р низкий»?

Answer 1

low - это атом, а не математическое выражение, которое можно оценить. Может быть, вы хотите написать его в верхнем регистре, то есть в низком, так что это переменная?