このディレクトリの索引


'UTF8文字のバイト数'(_第一文字の文字コード,1) :- (between(0x00,0x1f,_第一文字の文字コード);_第一文字の文字コード=0x7f),!.
'UTF8文字のバイト数'(_第一文字の文字コード,1) :- between(0x20,0xbf,_第一文字の文字コード),\+(_第一文字のコード=0x7f),!.
'UTF8文字のバイト数'(_第一文字の文字コード,2) :- between(0xc0,0xdf,_第一文字の文字コード).
'UTF8文字のバイト数'(_第一文字の文字コード,3) :- between(0xe0,0xef,_第一文字の文字コード).
'UTF8文字のバイト数'(_第一文字の文字コード,4) :- between(0xf0,0xf7,_第一文字の文字コード).
'UTF8文字のバイト数'(_第一文字の文字コード,5) :- between(0xf8,0xfb,_第一文字の文字コード).
'UTF8文字のバイト数'(_第一文字の文字コード,6) :- between(0xfc,0xff,_第一文字の文字コード).