Question

当我尝试使用prolog swi版本7.2.3执行以下查询时，

ceiling(1.5)它说，

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

如何让“天花板”适用于此案例？

Answer 1

我想，你必须以这种方式在表达式中使用它

X is ceiling(1.5), write(X)