如何检查一个值是否是Prolog中的数值？

Question

当某人输入一个值（年）时，我想验证该值。即，我想检查该值是否是数字。我是Prolog的新手。你能帮我解决这个问题吗？

在此先感谢。

Answer 1

只是写下 - 在Prolog中 - 根据您的判断 - 规定什么是有效的年份。例如

valid_year(Y) :- 
    integer(Y), Y > 0, Y =< 2014. 

您可以从这段代码中看到，您的问题基本上未指定：未来如何？过去了吗？其他日历系统（有很多）呢？

在SWI-Prolog的，有一个time and date广泛的支持，但我觉得它肯定是超出你目前的需求...