このディレクトリの索引


行は前半の文字列と後半の数値で構成される(_行,_前半の文字列,_後半の数値) :-
        sub_atom(_行,0,Len,_,_前半の文字列),
        文字列は数字とピリオドを含まない(_前半文字列),
        sub_atom(_行,Len,_,0,_後半の数字文字列),
        文字列は数字かピリオドだけで構成されている(_後半の数字文字列),
        read_term_from_atom(_後半の数字文字列,_後半の数値,[]).

文字列は数字とピリオドを含まない(_文字列) :-
        forall(sub_atom(_文字列,_,1,_,_文字),\+(数字かピリオド(_文字))).

文字列は数字かピリオドだけで構成されている(_文字列) :-
        forall(sub_atom(_文字列,_,1,_,_文字),数字かピリオド(_文字)).

数字かピリオド('0').
数字かピリオド('1').
数字かピリオド('2').
数字かピリオド('3').
数字かピリオド('4').
数字かピリオド('5').
数字かピリオド('6').
数字かピリオド('7').
数字かピリオド('8').
数字かピリオド('9').
数字かピリオド('0').
数字かピリオド('.').