---

apply

• NIL

---

concat

• concat strings 'x' and 'y'

---

convert

• convert term to string representation (i. e. print one to string)

---

length

• length of string s

---

matches

• matches(s,regexpr) -- true if string s matches regexpr matches(s,regexpr,$x1,..$xn) -- try to match s with regexpr and set in current substitution $x1...$xn to appropriative input subsequences of regular expressions. Note, that $x1...$xn must be a free variables and number of variables must be the same or less then number of subsequebces in regular expressions.

---

parse

• parse own argument as term

---

plus

• concat strings 'x' and 'y'

---

split

• string.split(s,re) - split string s by regular expression re

---

subst

• String.subst(s,x,y) replace all occurences, which match regular expression x to y in s and return changed string.