6 Jul
2005
6 Jul
'05
12:06 p.m.
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 -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it