Потолок/круглый/этаж в прологе

Когда я пытаюсь выполнить следующий запрос с пролога SWI версии 7.2.3,Потолок/круглый/этаж в прологе

ceiling(1.5) он говорит,

ERROR: toplevel: Undefined procedure: ceiling/1 (DWIM could not correct goal.)

Как получить «потолок» рабочий для этого случая?

Вы должны использовать его в выражении, я полагаю, таким образом

X is ceiling(1.5), write(X)

2016-09-25 15:32:40 max66

Почему вам нужно 'записи (X)'? –

@Boris - не настоящая необходимость; просто чтобы показать, как использовать (и показывать) значение – max66

ответ