我认为这些应该可以工作:current_prolog_flag(bounded, X). current_prolog_flag(min_integer, Y). current_prolog_flag(max_integer, Z). bounded这个属性告诉你的实现是否支持任意大的整数;如果它为false,min_integer / max_integer调用将失败。