Re: [Xsb-development] [Xsb-users] CHR problem: example gauss.chr

[Bart D. <Bar...@cs...>]

The problem seems to be caused by:

| ?- pretty_print((a:- !)).
a :- !

the . is not written out.

The reason: look in pretty_print.P:

pretty_print2(H,!) :- !, pretty_print3(H,0), write(' :- !').

the other clauses for pretty_print2 write a . explicitly, this one doesn't

please fix :-)

cheers

Bart