このディレクトリの索引

'「YYYY/MM/DD HH:MI」形式に一致させる'(_文字列,_前文字列,_適合文字列,_後文字列) :-
        sub_atom(_文字列,_,_,_,_前文字列,_適合文字列,後文字列,L1,L2,L3),
        sPLIT(_適合文字列,['/',' ',':'],[_年,/,_月,/,_日,' ',_時,':',_分]),
        すべて整数([_年,_月,_日,_時,_分]),
        \+((L3=[A|_],append(_,[A|_],['0','1','2','3','4','5','6','7','8','9']))).

すべて整数([]) :- !.
すべて整数([N|R]) :-
        integer(N),
        すべて整数(R).