如何檢查一個值是否是Prolog中的數值？

Question

當某人輸入一個值（年）時，我想驗證該值。即，我想檢查該值是否是數字。我是Prolog的新手。你能幫我解決這個問題嗎？

在此先感謝。

Answer 1

只是寫下 - 在Prolog中 - 根據您的判斷 - 規定什麼是有效的年份。例如

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

您可以從這段代碼中看到，您的問題基本上未指定：未來如何？過去了嗎？其他日曆系統（有很多）呢？

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