如何在 CLIPS 中将符号转换为字符串,反之亦然

how to convert a symbol into a string and vice versa in CLIPS

如何在 CLIPS 中将符号转换为字符串,反之亦然,我尝试查看文档但没有帮助。

还有把字符串转换成整数的函数吗?

CLIPS 中是否有一组函数可以在数据类型之间进行转换?

CLIPS> (str-cat red)
"red"
CLIPS> (sym-cat "red")
red
CLIPS> (str-cat 17)
"17"
CLIPS> (string-to-field "17")
17
CLIPS> (integer 17.3)
17
CLIPS> (float 17)
17.0
CLIPS> (round 17.3)
17
CLIPS> (explode$ "a b c")
(a b c)
CLIPS> (implode$ (create$ a b c))
"a b c"
CLIPS>