From Bugzilla Helper:
User-Agent: Mozilla/5.0 (X11; U; Linux i686 (x86_64); en-US; rv:1.8.1.1) Gecko/20061208 Firefox/2.0.0.1
Description of problem:
Since version 5.6.0, SWI-Prolog supports unbounded integers thanks to GMP. While it is true that SWI-Prolog works also without GMP, in which case it only offers small integers, the result is of strictly inferior quality (all serious Prolog systems provide unbounded integers). The solution is to make sure that `pl' BuildRequires `gmp-devel': the SWI-Prolog configuration script will detect it and the right thing will happen.
While we are at it, we may want to upgrade to version 5.6.28.
I can submit a patch, if you want.
Version-Release number of selected component (if applicable):
How reproducible:
Always
Steps to Reproduce:
1. pl
Actual Results:
?- current_prolog_flag(bounded, X).
X = true
Yes
Expected Results:
?- current_prolog_flag(bounded, X).
X = false
Yes
Additional info: