Although there is a reference to the tcl library being
'bidirectional interface to the Tcl (pronounced Tickle)'
I couldn't see any account of the way to call ciao from a Tcl script.
Please advise.
Thanks,
--
Nenad Ivezic, PhD, Guest Researcher
Manufacturing Systems Integration Division
National Institute of Standards and Technology
(on leave from Oak Ridge National Laboratory)
phone: 301-975-3536
fax: 301-258-9749
Internet: nivezic(a)nist.gov