prolog - 检查变量是否在确定性时间内接地/实例化

Question

我正在使用 CLPFD，我想确保变量包含一个整数以避免variables not fully instantiated errors. 因此，我尝试检查变量是否被绑定。我努力了：

nonvar(Var)
ground(Var)
integer(Var)

它们都导致全局堆栈用完。是否可以在确定的时间内检查 Prolog 中的变量状态？

标签： prolog