- PPL-devel - BUGSENG Mailman

A couple of standard issues
by Roberto Bagnara 10 Aug '02

10 Aug '02

Hi there, 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 #include "source_using_user_input" 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 horrible hack: :- import file_flush/2 from file_io. flush_output(user_output) :- file_flush(0, _). I look forward to the new releases of XSB. All the best, and thanks for your help 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

1 0

ppl/interfaces/Prolog/XSB Makefile.am
by Roberto Bagnara 09 Aug '02

09 Aug '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-08-09 21:49:58 Modified files: interfaces/Prolog/XSB: Makefile.am Log message: Distribute also expected and expected2. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/Makefil…

1 0

ppl/doc Makefile.am devref-browse.doxyconf-lat ...
by Roberto Bagnara 09 Aug '02

09 Aug '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-08-09 21:19:31 Modified files: doc : Makefile.am devref-browse.doxyconf-latex.in devref-print.doxyconf-latex.in devref.doxyconf-html.in user-browse.doxyconf-latex.in user-print.doxyconf-latex.in user.doxyconf-html.in Log message: Transition to Doxygen 1.2.17 completed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-browse.doxyconf-la… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-print.doxyconf-lat… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.doxyconf-html.in.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-browse.doxyconf-late… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-print.doxyconf-latex… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user.doxyconf-html.in.dif…

1 0

A couple of problems with cinterf.h
by Roberto Bagnara 08 Aug '02

08 Aug '02

Hi there, C and C++ users will be grateful if we enclose cinterf.h within a multiple inclusion guard and an extern "C" wrapper. Just precede the current contents of cinterf.h with ----------------------------------- #ifndef _XSB_cinterf_h #define _XSB_cinterf_h 1 #ifdef __cplusplus extern "C" { #endif ----------------------------------- and let it be followed by ----------------------------------- #ifdef __cplusplus } #endif #endif /* !defined(_XSB_cinterf_h) */ ----------------------------------- All the best 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

2 1

ppl/tests .cvsignore
by Roberto Bagnara 08 Aug '02

08 Aug '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-08-08 08:15:49 Modified files: tests : .cvsignore Log message: Ignore also the newly added tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/.cvsignore.diff?cvsroot…

1 0

ppl/interfaces/Prolog/XSB .cvsignore Makefile.am
by Roberto Bagnara 07 Aug '02

07 Aug '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-08-07 23:35:26 Modified files: interfaces/Prolog/XSB: .cvsignore Makefile.am Log message: Support building in the sources' directory. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/.cvsign… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/Makefil…

1 0

ppl/interfaces/Prolog/XSB Makefile.am expected2
by Roberto Bagnara 07 Aug '02

07 Aug '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-08-07 22:56:57 Modified files: interfaces/Prolog/XSB: Makefile.am Added files: interfaces/Prolog/XSB: expected2 Log message: XSB interface now fully operational. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expecte… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/Makefil…

1 0

ppl/interfaces/Prolog/XSB Makefile.am ppl_xsb. ...
by Roberto Bagnara 07 Aug '02

07 Aug '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-08-07 19:33:42 Modified files: interfaces/Prolog/XSB: Makefile.am ppl_xsb.cc xsb_clpq.P Added files: interfaces/Prolog/XSB: expected xsb_clpq2.P Log message: Bug fixed. Tests with clpq.pl now working. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expecte… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/xsb_clp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_xsb… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/xsb_clp…

1 0

x still a variable after a successful call to c2p_list(x) (2nd attempt)
by Roberto Bagnara 07 Aug '02

07 Aug '02

Dear all, following the advice of Kostis, here is something anyone can easily run to try reproducing what seems a rather serious bug in XSB. The files foo.c and foo.H follow: ------------------------------ foo.c ------------------------------ #include <cinterf.h> #include <stdio.h> xsbBool foo() { prolog_term x = p2p_new(); if (is_var(x) == TRUE) printf("`x' is a variable: fine!\n"); if (c2p_list(x) == TRUE) printf("`c2p_list(x)' succeeded: fine!!\n"); // Hey, how can `x' still be a variable? if (is_var(x) == TRUE) printf("`x' is still a variable!!!\n"); return TRUE; } --------------------------- end of foo.c -------------------------- ------------------------------ foo.H ------------------------------ :- export foo/0. --------------------------- end of foo.H -------------------------- Then assume your XSB emulator directory is /usr/local/lib/xsb/2.5/emu and run echo "consult(foo, [cc('gcc'), cc_opts('-I/usr/local/lib/xsb/2.5/emu')]), foo." | xsb What I see is [xsb_configuration loaded] [sysinitrc loaded] [packaging loaded] XSB Version 2.5 (Okocim) of March 11, 2002 [i686-pc-linux-gnu; mode: optimal; engine: slg-wam; gc: indirection; scheduling: local] | ?- [Compiling Foreign Module ./foo (Prolog compiler options are ignored)] [foo compiled, cpu time used: 0.0000 seconds] [Compiling C file ./foo.c using gcc] In file included from /usr/local/lib/xsb/2.5/emu/export.h:28, from /usr/local/lib/xsb/2.5/emu/cinterf.h:155, from foo.c:1: /usr/local/lib/xsb/2.5/config/i686-pc-linux-gnu/xsb_config.h:275:28: warning: no newline at end of file [foo loaded] `x' is a variable: fine! `c2p_list(x)' succeeded: fine!! `x' is still a variable!!! yes | ?- End XSB (cputime 0.04 secs, elapsetime 0.16 secs) The warning given by gcc constitutes a problem in xsb_config.h that is totally unrelated, of course. Please let me know if you need further information. All the best 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

4 4

ppl/interfaces/Prolog/XSB Makefile.am
by Roberto Bagnara 07 Aug '02

07 Aug '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-08-07 18:11:12 Modified files: interfaces/Prolog/XSB: Makefile.am Log message: Improve the `make check' mechanism. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/Makefil…

1 0