Module string

Predicates for manipulating strings

Predicate

strtolist/2: Convert a string into a list of ASCII codes.
strtodlist/3: Convert a string into a list of ASCII codes and add other list to that list.
listtostr/2: Convert a list of ASCII codes into a string
strcat/3: Concatenate strings.
strlen/2: Length of string
strtotype/2: Convert a string into a type.
strtotype/3: Convert a string into a type in a module.
typetostr/2: Convert a type into an string. This gets simple name of type.
feattostr/2: convert a feature to a string
inttostr/2: Convert an integer into an string
strtoint/2: Convert a string into an integer
floattostr/2: Convert a float into a string.
strtofloat/2: Convert a float into a string.

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

Predicate

strtolist/2

Format strtolist(+STRING, -LIST)

Arguments

`+STRING`	string	Character string
`-LIST`	list	List of ASCII codes

Convert a string into a list of ASCII codes.

> ?- strtolist("abc", X).
 X: < 97, 98, 99 >

strtodlist/3

Format strtodlist(+STRING, -LIST, -DLIST)

Arguments

`+STRING`	string	Character string
`-LIST`	list	List of ASCII codes
`-DLIST`	list	Tail of the list

Convert a string into a list of ASCII codes and add other list to that list.

listtostr/2

Format listtostr(+LIST, -STRING)

Arguments

`+LIST`	list	List of ASCII codes
`-STRING`	string	Character string

Note If the list include a 0, the return is undefined.

Convert a list of ASCII codes into a string

> ?- listtostr([65,66,67], X).
 X: "ABC"

strcat/3

Format strcat(+STR1,+STR2,-RET)

Arguments

`+STR1`	string	string1
`+STR2`	string	string2
`-RET`	string	returned string

Concatenate strings.

strlen/2

Format strlen(+STR,-LEN)

Arguments

`+STR`	string	string
`-LEN`	string	length of string

Length of string

strtotype/2

Format	`strtotype(+STRING, -TYPE)`
Note	In the case of the type name isn't defined, the function fails.
Convert a string into a type.
> ?- strtotype("assert/1", X). X: assert/1

strtotype/3

Format strtotype(+MODULE,+STRING, -TYPE)

Arguments

+MODULE string module name

Note In the case of the type name isn't defined, the function fails.

Convert a string into a type in a module.

> ?- strtotype("assert/1", X).
 X: assert/1

typetostr/2

Format typetostr(+TYPE, -STRING)

Arguments

`+TYPE`	bot	Type name
`-STRING`	string	String

Note The case of numeric type is not considered. typetostr(1,X) returns integer.

Convert a type into an string. This gets simple name of type.

> ?- typetostr("assert/1", X).
 X: assert/1

feattostr/2

Format feattostr(+TYPE, -STRING)

Arguments

`+TYPE`	feature	Feature name
`-STRING`	string	String

convert a feature to a string

inttostr/2

Format inttostr(+INT, -STRING)

Arguments

`+INT`	int	Number
`-STRING`	string	String

Convert an integer into an string

> ?- inttostr(123, X).
 X: "123"

strtoint/2

Format strtoint(+STRING, -INT)

Arguments

`+STRING`	string	String
`-INT`	int	Number

Convert a string into an integer

> ?- inttostr(123, X).
 X: "123"

floattostr/2

Format floattostr(+FLOAT, -STRING)

Arguments

`+FLOAT`	float	Float
`-STRING`	string	String

Convert a float into a string.

> ?- floattostr(1.23, X).
 X: "1.23000"

strtofloat/2

Format strtofloat(+STRING, -FLOAT)

Arguments

`+STRING`	string	String
`-FLOAT`	float	Float

Convert a float into a string.

> ?- 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:13:58 2004