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