преобразовать float в целое число в прологе

Как преобразовать float в целое число в прологе?

Я пробовал:

?- integer(truncate(sqrt(9))).
false.

?- integer(round(sqrt(9))).
false.