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:
Thanks for the notification. The next build will also update to the newest version.