get - プロローグでシステムから現在の年を取得する必要がある

Question

私はstackoverflowとPrologが初めてです。

現在の年を取得して、「BD > currentYear」のような比較で使用したい。私が行ってきた調査から、「use_module(library(system))」を使用する必要があると思いますが、方法がわかりません...

手伝って頂けますか？

ありがとうございました！

Answer 1

library(system) の datime/1 は、次のように、必要なことを行います。

%% test.pl BEGIN
% Ensure datime/1 is available
:- use_module(library(system), [datime/1]).


current_year(Year) :-
    datime(datime(Year,_Month,_Day,_H,_M,_S)).

%% test.pl END

次に、次のように current_year/1 を呼び出すことができます。

| ?- current_year(Year), Year >= 2012, write('It is 2012 or later\n').
It is 2012 or later
Year = 2012 ? 
yes
| ?- 

(Prolog の変数は大文字で始まる必要があるため、currentYearは有効な変数名ではないことに注意してください。)