April 2004 - PPL-devel - BUGSENG Mailman

How to get the maximum representable integer in foreign code
by Roberto Bagnara 23 Apr '04

23 Apr '04

Hi there, what is the recommended way for foreign code to know what is the maximum integer XSB can represent directly? 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

1 0

ppl/interfaces/Prolog pl_check.pl ppl_prolog.i ...
by Patricia Hill 23 Apr '04

23 Apr '04

1 0

Re: [SWIPL] Max integer and max tagged integer
by Jan Wielemaker 23 Apr '04

23 Apr '04

Hi Roberto, > I am trying to write some portable code and, in foreign > code, I need to know what is the maximum integer value > that can be passed to PL_put_integer(). > > Am I correct if I say that the right way to know that > value is by calling > > PL_query(PL_QUERY_MAX_INTEGER) Yip. Please note that since quite a while SWI-Prolog's integers are C longs and can represent all values a C long can. > and that I need not be concerned with the > PL_QUERY_MAX_TAGGED_INT query that is defined a couple > of lines later in SWI-Prolog.h? Yip. This returns the maximum value that is stored efficiently on the stacks (the space required for integers appearing in a clause is always the same). Cheers --- Jan

1 0

Max integer and max tagged integer
by Roberto Bagnara 23 Apr '04

23 Apr '04

Hi there, I am trying to write some portable code and, in foreign code, I need to know what is the maximum integer value that can be passed to PL_put_integer(). Am I correct if I say that the right way to know that value is by calling PL_query(PL_QUERY_MAX_INTEGER) and that I need not be concerned with the PL_QUERY_MAX_TAGGED_INT query that is defined a couple of lines later in SWI-Prolog.h? Thanks a lot (and keep up the good work), 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 ppl_prolog.icc Ciao/Make ...
by Roberto Bagnara 23 Apr '04

23 Apr '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-04-23 09:44:41 Modified files: interfaces/Prolog: ppl_prolog.icc interfaces/Prolog/Ciao: Makefile.am interfaces/Prolog/GNU: Makefile.am interfaces/Prolog/SICStus: Makefile.am interfaces/Prolog/SWI: Makefile.am interfaces/Prolog/XSB: Makefile.am interfaces/Prolog/YAP: Makefile.am Log message: Follow our programming conventions concerning code formatting. Do not include "version.hh.in": include "version.hh" instead. 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/Makefi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/Makefil… 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/SWI/Makefil… 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/YAP/Makefil…

1 0

ppl/interfaces/Prolog/Ciao ppl_ciao.pl
by Patricia Hill 23 Apr '04

23 Apr '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2004-04-23 07:38:39 Modified files: interfaces/Prolog/Ciao: ppl_ciao.pl Log message: Ciao interface for the additional ppl predicates corrected. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_ci…

1 0

ppl/interfaces/Prolog pl_check.pl ppl_prolog.i ...
by Patricia Hill 22 Apr '04

22 Apr '04

1 0

ppl/interfaces/Prolog pl_check.pl ppl_prolog.i ...
by Patricia Hill 22 Apr '04

22 Apr '04

1 0

ppl/tests exceptions1.cc exceptions2.cc
by Roberto Bagnara 21 Apr '04

21 Apr '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-04-21 15:26:56 Modified files: tests : exceptions1.cc exceptions2.cc Log message: We were not flagging as errors the cases where an exception that must be thrown is not thrown. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/exceptions1.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/exceptions2.cc.diff?cvs…

1 0

ppl TODO
by Roberto Bagnara 21 Apr '04

21 Apr '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-04-21 14:53:58 Modified files: . : TODO Log message: Remember to explain how to use the Intel C/C++ compiler. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.67…

1 0