このディレクトリの索引

'[1-9]?[0-9]'(_文字列,_前文字列,_適合文字列,_後文字列) :-
        '0から99までの数字に一致させる'(_文字列,_前文字列,_適合文字列,_後文字列).

'0から99までの数字に一致させる'(_文字列,_前文字列,_適合文字列,_後文字列) :-
        sub_atom(_文字列,_,_,_,_前文字列,_適合文字列,_後文字列,L1,L2,L3),
        '2文字以下の数字ならび'(L2),
        前後の文字は数字ではない(L1,L3).

'2文字以下の数字ならび'(L2) :-
        length(L2,_文字数),
        _文字数 =< 2,
        forall(member(A,L2),数字(A)).

前後の文字は数字ではない(L1,L3) :-
        \+((last(L1,_直前の文字),数字(_直前の文字))),
        \+((L3=[_直後の文字|_],数字(_直後の文字))),!.

数字(_数字) :-
        _数字 @>= '0',
        _数字 @=< '9'.