[PPL-devel] Re: Problems with XSB 2.7.1

Terrance Swift wrote:

Perhaps the following solutions would be best for your users who use versions 2.7 or 2.7.1. In their .xsb/xsbrc.P file they simply add the lines

:- import add_alias/2 from file_io.

?- add_alias(user_output,1).

?- add_alias(user_input,0).

which will give the desired behavior for flush_output (and most other predicates). The current CVS version has a slightly deeper fix.

Dear Terrance,

we can confirm that what you indicate above works well. Thanks a lot! Cheers,

Roberto