double ( string-to-float string value)
Convert the string to a floating point number.
References
CLIPS 5.1 User Guide, NASA Software Technology Branch, 1991
CLIPS 5.1 Reference Manual, NASA Software Technology Branch, 1991
wxWindows User Manual, Julian Smart, Artificial Intelligence Applications Institute, University of Edinburgh, 1993