Ok, thank you. So no bug at all, great!
Daniel Diaz schrieb:
Hi,
can you give me the exact error message for X = `\` ?
If it is
| ?- X = `\`.
uncaught exception: error(syntax_error('user_input:1 (char:8)
_expression_ expected or previous operator needs brackets'),read_term/3)
it is due to the fact \ is also an operator and thus needs to be put
inside ( ) as an argument of another operator (here it is =). Use
instead:
| ?- X = (`\`).
X = \
Daniel
--
XLOG Technologies GmbH
Jan Burse
Freischützgasse 14
8004 Zürich
E-mail: address@hidden
natel: +41-76-342 74 75
fixnet: +41-43-268 04 03
|