25 Jul
2000
25 Jul
'00
7:24 p.m.
Hi, I'm a new CIAO user trying to produce a server for evaluating expressions in a certain language.
I would like to read a term from a (socket) stream (using some user-defined operators) but I don't want to get stuck waiting for the term to be completed (i.e. reaching the "." at the end). E.g., one line should be read from the stream, and if that line doesn't contain a complete term I would like the action to fail (and not pend).
Can I read one line as a list of characters and then convert them to a term? How? The string2term does not seem to do the job.
Any suggestions?
Thanks
Alexander