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

Question

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

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

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