このディレクトリの索引

# 出典 :: Regular Expression(正規表現) Part11 #843 # ^[^0-9]+$ は数字以外だけの文字列の場合ヒット、数字混じりだと絶対ヒットしない '数字以外だけの文字列の場合ヒット、数字混じりだと絶対ヒットしない '(_文字列) :- '数字以外だけの文字列の場合ヒット、'(_文字列). '数字以外だけの文字列の場合ヒット、数字混じりだと絶対ヒットしない '(_文字列) :- '数字混じりだと絶対ヒットしない '(_文字列). '数字以外だけの文字列の場合ヒット、'(_文字列) :- forall(sub_atom(_文字列,_,1,_,_文字),数字以外(_文字)). 数字以外(_文字) :- \+(数字(_文字)). 数字(_数字) :- member(_数字,['0','1','2','3','4','5','6','7','8','9']). '数字混じりだと絶対ヒットしない '(_文字列) :- '数字混じりだと'(_文字列),!,fail. '数字混じりだと'(_文字列) :- 文字列の中に数字がある(_文字列). 文字列の中に数字がある(_文字列) :- 文字列の中に(_文字列), 数字がある(_文字列). 文字列の中に(_文字列) :- sub_atom(_文字列,_,1,_,_文字), 数字以外(文字). 数字がある(_文字列) :- sub_atom(_文字列,_,1,_,_数字), 数字(_数字).