モジュール string

文字列操作を行なう述語です．

目次

述語

Top of this page Contents Index of this package LiLFeS Documents LiLFeS Home Page Tsujii laboratory

述語

strtolist/2

書式strtolist(+STRING, -LIST)
引数
+STRINGstring 文字列
-LISTlist アスキーコードのリスト
文字列を、アスキーコードのリストに変換します。 
> ?- strtolist("abc", X).
 X: < 97, 98, 99 >

strtodlist/3

書式strtodlist(+STRING, -LIST, -DLIST)
引数
+STRINGstring 文字列
-LISTlist アスキーコードのリスト
-DLISTlist リストの末尾
文字列を、アスキーコードのリストに変換し、そのリストに別のリストを付け加えます．

listtostr/2

書式listtostr(+LIST, -STRING)
引数
+LISTlist アスキーコードのリスト
-STRINGstring 文字列
注意入力のリスト中に 0 が含まれている場合の動作は保証しません。
アスキーコードのリストを、文字列に変換します。 
> ?- listtostr([65,66,67], X).
 X: "ABC"

strcat/3

書式strcat(+STR1,+STR2,-RET)
引数
+STR1string 結果の文字列
+STR2string 文字列2
文字列を接合します．

strlen/2

書式strlen(+STR,-LEN)
引数
+STRstring 文字列
文字列の長さを返します．

strtotype/2

書式strtotype(+STRING, -TYPE)
注意型名が型定義されていないものの場合、失敗します。
文字列を型に変換します。 
> ?- strtotype("assert/1", X).
 X: assert/1

strtotype/3

書式strtotype(+MODULE,+STRING, -TYPE)
引数
+MODULEstring モジュール名
注意型名が型定義されていないものの場合、失敗します。
文字列をモジュールの型に変換します。 
> ?- strtotype("assert/1", X).
 X: assert/1

typetostr/2

書式typetostr(+TYPE, -STRING)
引数
+TYPEbot 型名
-STRINGstring 文字列
注意文字列や数値は、それ自身が型とはみなされません。typetostr(1,X) は integer を返します。
型を文字列に変換します．省略名を取得します．
> ?- typetostr("assert/1", X).
 X: assert/1

feattostr/2

書式feattostr(+TYPE, -STRING)
引数
+TYPEfeature 素性名
-STRINGstring 文字列
素性を文字列に変換します．

inttostr/2

書式inttostr(+INT, -STRING)
引数
+INTint 整数
-STRINGstring 文字列
文字列を、整数に変換します。 
> ?- inttostr(123, X).
 X: "123"

strtoint/2

書式strtoint(+STRING, -INT)
引数
+STRINGstring 文字列
-INTint 整数
整数を、文字列に変換します。 
> ?- inttostr("123", X).
 X: 123

floattostr/2

書式floattostr(+FLOAT, -STRING)
引数
+FLOATfloat Float
-STRINGstring String
float を string に変換します．
> ?- floattostr(1.23, X).
 X: "1.23000"

strtofloat/2

書式strtofloat(+STRING, -FLOAT)
引数
+STRINGstring String
-FLOATfloat Float
string を float に変換します．
> ?- strtofloat("1.23", X).
 X: 1.23000
Top of this page Contents Index of this package LiLFeS Documents LiLFeS Home Page Tsujii laboratory
This document is automatically created by lildoc on Fri Sep 24 14:14:00 2004