December 2002 - PPL-devel - BUGSENG Mailman

Bignums
by Roberto Bagnara 14 May '04

14 May '04

Hi there, I believe the following behavior of the CVS version of YAP witnesses a bug (or, quite possible, a misunderstanding on my part): $ yap [ Restoring file /usr/local/lib/Yap/startup ] [ YAP version Yap-4.3.23 ] ?- current_prolog_flag(bounded,X). X = false ? ?- X is 333333333333333, integer(X). no ?- X is 33333333, integer(X). X = 33333333 ? ?- X is 333333333333333, float(X). no ?- X is 333333333333333, number_chars(X,L). X = 333333333333333, L = [51,51,51,51,51,51,51,51,51,51,51,51,51,51,51] ? In words, the Prolog engine first declares it is employing unbounded integers, then it silently converts an integer numeral to... to what? Is this a bug? Am I missing something? 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 5

Bignums and the foreign language interface
by Roberto Bagnara 07 Jan '03

07 Jan '03

Hi there, how can bignums be communicated to/from Ciao Prolog? More precisely, since we have $ ciao Ciao-Prolog 1.9 #34: Sat Nov 30 19:17:43 CET 2002 ?- current_prolog_flag(bounded, X). X = false ? yes ?- integers are unbounded. However, the function ciao_term ciao_integer(int i) allows to build only integers that fit in a machine word. The problem with the design of the function int ciao_to_integer(ciao_term term) appears to be more serious, as the C application seems to have no way of detecting whether the conversion was successful or not. It would seem better to define something like int ciao_to_integer(ciao_term term, long* pl) so that 0 is returned if the conversion failed (in which case *pl has not been touched), and a number different from 0 otherwise. Bignums could then be communicated with a pair of functions ciao_get_number_chars() and ciao_put_number_chars(). What do you think? Best wishes to you all 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 4

ppl/src Polyhedron.defs.hh Polyhedron.cc
by Enea Zaffanella 31 Dec '02

31 Dec '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-12-31 17:43:41 Modified files: src : Polyhedron.defs.hh Polyhedron.cc Log message: The three different techniques making up BHRZ03_widening_assign() are now isolated into corresponding members, to ease further experimentation. Keeping track of the convergence reason and of the successful technique in order to later output statistics about it. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src globals.hh globals.cc Init.inlines.hh
by Enea Zaffanella 31 Dec '02

31 Dec '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-12-31 17:40:35 Modified files: src : globals.hh globals.cc Init.inlines.hh Log message: Added a global struct to keep statistics about BHRZ03 when the pre-proc flag PPL_STATISTICS is set (now set by default). Statistics are outputted during the library finalization. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.hh.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.cc.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Init.inlines.hh.diff?cvsr…

1 0

ppl/src Polyhedron.cc
by Enea Zaffanella 30 Dec '02

30 Dec '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-12-30 19:21:55 Modified files: src : Polyhedron.cc Log message: In the NEW_LIMITED_GROWTH_ORDERING case of method is_BHRZ03_stabilizing(), when we have the same number of constraints for x and y, we now also check if the same number is obtained when disregarding the positivity constraint. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src Polyhedron.cc
by Roberto Bagnara 30 Dec '02

30 Dec '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-12-30 09:21:49 Modified files: src : Polyhedron.cc Log message: Wrong reference to `abort()' corrected into a call. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src Polyhedron.cc
by Enea Zaffanella 30 Dec '02

30 Dec '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-12-30 09:12:02 Modified files: src : Polyhedron.cc Log message: Added preproc flag NEW_LIMITED_GROWTH_ORDERING to test the new convergence criterion for bhrz03. The new stabilization test now prints a '*' on std::cerr each time we miss an opportunity of applying the new widening techniques due to the new convergence criterion. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/interfaces/Prolog ppl_prolog.icc Ciao/ppl_ ...
by Roberto Bagnara 26 Dec '02

26 Dec '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-12-26 14:40:16 Modified files: interfaces/Prolog: ppl_prolog.icc interfaces/Prolog/Ciao: ppl_ciao.cc interfaces/Prolog/GNU: ppl_gprolog_sd.cc interfaces/Prolog/SICStus: sicstus_cfli.ic interfaces/Prolog/SWI: ppl_swiprolog.cc interfaces/Prolog/XSB: ppl_xsb.cc interfaces/Prolog/YAP: ppl_yap.cc Log message: Transition to C: avoid references. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_ci… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/ppl_gpr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sic… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_swi… 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/YAP/ppl_yap…

1 0

ppl/interfaces/Prolog Ciao/ppl_ciao.cc GNU/ppl ...
by Roberto Bagnara 26 Dec '02

26 Dec '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-12-26 11:35:01 Modified files: interfaces/Prolog/Ciao: ppl_ciao.cc interfaces/Prolog/GNU: ppl_gprolog_sd.cc interfaces/Prolog/SICStus: sicstus_cfli.h sicstus_cfli.ic interfaces/Prolog/SWI: ppl_swiprolog.cc interfaces/Prolog/XSB: ppl_xsb.cc interfaces/Prolog/YAP: ppl_yap.cc Log message: Transition to C: avoid `bool'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_ci… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/ppl_gpr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sic… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sic… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_swi… 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/YAP/ppl_yap…

1 0

ppl/interfaces/Prolog/SICStus Makefile.am ppl_ ...
by Roberto Bagnara 26 Dec '02

26 Dec '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-12-26 11:08:47 Modified files: interfaces/Prolog/SICStus: Makefile.am ppl_sicstus_sd.cc Added files: interfaces/Prolog/SICStus: sicstus_cfli.cc sicstus_cfli.h sicstus_cfli.ic Log message: Started carving the new Common Foreign Language Interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sic… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sic… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sic… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/Mak… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl…

1 0