September 2007 - PPL-devel - BUGSENG Mailman

Re: [PPL-devel] [Xsb-development] Arithmetic evaluation bug in the CVS HEAD version of XSB
by kifer＠cs.sunysb.edu 23 Sep '07

23 Sep '07

Perhaps a better workaround is :- import eval/2 from eval. bug2(Term, N) :- eval(Term,N). Interestingly, the problem occurs only with compiled rules. If one asserts the same rule ?- assert((bug(Term, N) :- N is Term)). then it works right. --michael > --===============1739232661== > Content-Type: text/html; charset=us-ascii > Content-Transfer-Encoding: 7bit > > <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> > <html> > <head> > <meta http-equiv="Content-Type" content="text/html;charset=ISO-8859-1"> > <title></title> > </head> > <body text="#000000" bgcolor="#ffffff"> > As I'm sure you know, the is/2 predicate is nonlogical.   This > difference is also in previous versions of XSB.  In this instance, > there is a simple alternate:<br> > <br> > [broome@localhost bin]$ ./xsb-bits64<br> > [xsb_configuration loaded]<br> > [sysinitrc loaded]<br> > <br> > XSB Version 3.1 (Incognito) of August 10, 2007<br> > [x86_64-unknown-linux-gnu; mode: optimal; engine: slg-wam; gc: > indirection; scheduling: local]<br> > <br> > | ?- [user].<br> > [Compiling user]<br> > side_step_term_as_arithmetic_argument_bug(Term,N) :-<br> >   call(N is Term).<br> > end_of_file.<br> > [user compiled, cpu time used: 0.0090 seconds]<br> > [user loaded]<br> > <br> > | ?- side_step_term_as_arithmetic_argument_bug(1+1+1,N).<br> > <br> > N = 3;<br> > <br> > no<br> > | ?-<br> > End XSB (cputime 0.02 secs, elapsetime 74.23 secs)<br> > <br> > <br> > I hope this helps.<br> > <br> > Paul<br> > <br> > <a class="moz-txt-link-freetext" href="http://www.duologues.net">http://www.duologues.net</a><br> > <br> > <br> > Roberto wrote the following:<br> > <blockquote type="cite"> > <div class="moz-text-plain" wrap="true" graphical-quote="true" > style="font-family: -moz-fixed; font-size: 12px;" lang="x-western"> > <pre wrap="">$ cat bug.P > bug(Term, N) :- > N is Term. > [roberto@zoltan tmp]$ > $ xsb > [xsb_configuration loaded] > [sysinitrc loaded] > > XSB Version 3.1 (Incognito) of August 10, 2007 > [x86_64-unknown-linux-gnu; mode: optimal; engine: slg-wam; gc: indirection; scheduling: local] > > | ?- ['bug.P']. > [Compiling ./bug] > [bug compiled, cpu time used: 0.0080 seconds] > [bug loaded] > > yes > | ?- bug(1+1+1, Y). > > Y = 1 + 1 + 1 > > yes > | ?- > End XSB (cputime 0.02 secs, elapsetime 365.32 secs) > > <div class="moz-txt-sig">-- > Prof. Roberto Bagnara > Computer Science Group > Department of Mathematics, University of Parma, Italy > <a class="moz-txt-link-freetext" > href="http://www.cs.unipr.it/%7Ebagnara/">http://www.cs.unipr.it/~bagnara/</a> > <a class="moz-txt-link-freetext" href="mailto:bagnara@cs.unipr.it">mailto:bagnara@cs.unipr.it</a> > > ------------------------------------------------------------------------- > This SF.net email is sponsored by: Microsoft > Defy all challenges. Microsoft(R) Visual Studio 2005. > <a class="moz-txt-link-freetext" > href="http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/">http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/</a> > _______________________________________________</div></pre> > </div> > </blockquote> > <blockquote type="cite"> > <div class="moz-text-plain" wrap="true" graphical-quote="true" > style="font-family: -moz-fixed; font-size: 12px;" lang="x-western"> > <pre wrap=""><div class="moz-txt-sig"> > Xsb-development mailing list > <a class="moz-txt-link-abbreviated" > href="mailto:Xsb-development@lists.sourceforge.net">Xsb-development(a)lists.sourceforge.net</a> > <a class="moz-txt-link-freetext" > href="https://lists.sourceforge.net/lists/listinfo/xsb-development">https://lists.sourceforge.net/lists/listinfo/xsb-development</a> > > > </div></pre> > </div> > </blockquote> > <br> > </body> > </html> > > > > --===============1739232661== > Content-Type: text/plain; charset="us-ascii" > MIME-Version: 1.0 > Content-Transfer-Encoding: 7bit > Content-Disposition: inline > > ------------------------------------------------------------------------- > This SF.net email is sponsored by: Microsoft > Defy all challenges. Microsoft(R) Visual Studio 2005. > http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/ > --===============1739232661== > Content-Type: text/plain; charset="us-ascii" > MIME-Version: 1.0 > Content-Transfer-Encoding: 7bit > Content-Disposition: inline > > _______________________________________________ > Xsb-development mailing list > Xsb-development(a)lists.sourceforge.net > https://lists.sourceforge.net/lists/listinfo/xsb-development > > --===============1739232661==-- >

1 0

ppl/interfaces/Prolog tests/clpq2.pl XSB/expec ...
by Roberto Bagnara 23 Sep '07

23 Sep '07

1 0

ppl/interfaces/C ppl_c_version.h.in
by Enea Zaffanella 23 Sep '07

23 Sep '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-09-23 14:20:43 Modified files: interfaces/C : ppl_c_version.h.in Log message: The typedef defined in this file are now added to the documentation group related to version checking. (As a side effect, by no longer using \file, we also avoid a couple of dangling references in the produced docs.) Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c_version.h.…

1 0

Arithmetic evaluation bug in the CVS HEAD version of XSB
by Roberto Bagnara 23 Sep '07

23 Sep '07

$ cat bug.P bug(Term, N) :- N is Term. [roberto@zoltan tmp]$ $ xsb [xsb_configuration loaded] [sysinitrc loaded] XSB Version 3.1 (Incognito) of August 10, 2007 [x86_64-unknown-linux-gnu; mode: optimal; engine: slg-wam; gc: indirection; scheduling: local] | ?- ['bug.P']. [Compiling ./bug] [bug compiled, cpu time used: 0.0080 seconds] [bug loaded] yes | ?- bug(1+1+1, Y). Y = 1 + 1 + 1 yes | ?- End XSB (cputime 0.02 secs, elapsetime 365.32 secs) -- 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 22 Sep '07

22 Sep '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-09-22 19:15:11 Modified files: interfaces/Prolog/XSB: Makefile.am Log message: Apparently, XSB now implements more of the ISO standard. This could make the XSB-specific expect-file useless: they are now still present but disabled. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/Makefil…

1 0

Re: [PPL-devel] setitimer functions
by Roberto Bagnara 22 Sep '07

22 Sep '07

Ro'ee Sfaradi wrote: > Hello all, > > I'm kinda new to MinGW and Msys. > > I'm trying to compile a package called ppl (The Parma Polyhedra Library) in msys environment. > > When I'm run the ./configure after it runs a bit, I get the following message : > > ------ > configure: error: CANNOT BUILD THE WATCHDOG LIBRARY > *** THE SYSTEM DOES NOT PROVIDE THE SETITIMER FUNCTION. > configure: error: /bin/sh './configure' failed for Watchdog > ------ > > I searched over FAQs and googled and didn't find any hint about it. Is it something I need to install to have the timer support on msys? > > Thanks in advance, > Ro'ee Dear Ro'ee, one possibility is to use Cygwin. Another possibility, if you do not need the functionalities provided by the Parma Watchdog Library, is to configure the PPL with the option --disable-watchdog. 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

1 0

ppl/tests/MIP_Problem mipproblem2.cc
by Roberto Bagnara 22 Sep '07

22 Sep '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-09-22 09:55:22 Modified files: tests/MIP_Problem: mipproblem2.cc Log message: Use DO_TEST_F8A to invoke test01(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/MIP_Problem/mipproblem2…

1 0

ppl/tests/MIP_Problem mipproblem3.cc
by Roberto Bagnara 20 Sep '07

20 Sep '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-09-20 21:58:27 Modified files: tests/MIP_Problem: mipproblem3.cc Log message: Expected results for test10() fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/MIP_Problem/mipproblem3…

1 0

ppl/tests/MIP_Problem mipproblem3.cc
by Roberto Bagnara 20 Sep '07

20 Sep '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-09-20 18:23:22 Modified files: tests/MIP_Problem: mipproblem3.cc Log message: Wrap big integer constants within Coefficient("..."). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/MIP_Problem/mipproblem3…

1 0

ppl/demos/ppl_lpsol/examples Makefile.am
by Roberto Bagnara 20 Sep '07

20 Sep '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-09-20 07:48:29 Modified files: demos/ppl_lpsol/examples: Makefile.am Log message: File ex11.mps has gone. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/examples/Make…

1 0