Dear CIAO Users
I tried to run the following program in CIAO v1.6
------------------------------------------------------
:- op(950,xfx,'==>').
:- use_module(library(read)).
:- use_module(library(write)).
main :-
open('file.pl',read,Stream),
read(Stream,A),
close(Stream),
write(A),
nl.
------------------------------------------------------
where the contents of "file.pl" are:
p(a==>b).
and I got the following:
[user(a)thurso]$ ciao
Ciao-Prolog 1.6 #1: Thu Aug 3 11:19:43 BST 2000
?- ensure_loaded(program).
yes
?- main.
{ERROR: read/2 - syntax error (lns 1-1)
, or ) expected in arguments:
p ( a
** here **
==> b ) .
}
no
?- halt.
----------------------------------------------------
I ran the same program on SICStus (commenting out the use_
module lines) and it worked OK.
What is going on here? Is there anything I should be doing?
Thanks for any help in advance
Cheers
-- wamberto