The header file gprolog.h installed by GNU Prolog 1.4.4
contains the following (unconditional) definitions:
#define PL_MIN_INTEGER -268435456
#define PL_MAX_INTEGER 268435455
These are inconsistent with the real limits:
$ gprolog
GNU Prolog 1.4.4 (64 bits)
Compiled Jul 3 2013, 18:05:18 with gcc
By Daniel Diaz
Copyright (C) 1999-2013 Daniel Diaz
| ?- current_prolog_flag(min_integer, M).
M = -1152921504606846976
yes
| ?- current_prolog_flag(max_integer, M).
M = 1152921504606846975
yes
| ?-
Kind regards,
Roberto
--
Prof. Roberto Bagnara
Applied Formal Methods Laboratory - University of Parma, Italy
mailto:[email protected]
BUGSENG srl - http://bugseng.com
mailto:[email protected]
_______________________________________________
Users-prolog mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/users-prolog
