[PPL-devel] A couple of standard issues
bagnara at cs.unipr.it
Sat Aug 10 08:05:34 CEST 2002
I have finally managed to produce a working XSB interface
for the Parma Polyhedra Library (http://www.cs.unipr.it/ppl/).
Apart from the problems I have already reported, I had to get
around the following limitations of XSB:
1) The standard streams `user_input' and `user_output' are
missing. I had to use the following ugly hack:
#define user_input user
A better solution is welcome, of course.
2) The flush_output/1 standard predicate is missing.
In my case I have to flush only the `user_output'
stream. So, temporarily, I am using the following
:- import file_flush/2 from file_io.
I look forward to the new releases of XSB.
All the best, and thanks for your help
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
mailto:bagnara at cs.unipr.it
More information about the PPL-devel