Here are some examples that show which Tcl data/format pair corresponds to which ECLiPSe term (the curly brackets are just Tcl quotes and not part of the format string):
To create EXDR type use <format> data required String S string (binary) String U string (utf8) Integer I integer Double D double List [<formats>] fixed length list List [<formats] list Struct (<formats>) fixed list, first elem functor name Struct (<formats>*) list, first elem functor name Anonymous Variable _ string "_"
Tcl data Tcl format Eclipse term
hello S "hello"
hello () hello
123 S "123"
123 I 123
123 D 123.0
123 () '123'
{a 3 4.5} {[SID]} ["a", 3, 4.5]
{a 3 4.5} S "a 3 4.5"
{1 2 3 4} {[I*]} [1, 2, 3, 4]
{f 1 2 3} {(I*)} f(1,2,3)
{is _ {- 1 2}} {(_(II))} _ is 1-2