Hi Thierry,
This seems to come from the PPL library rather than from a gprolog bug.
At least, gprolog has no problem with:
| ?- V is (0.748233316 / 0.262237289) ** 4.
V = 66.278150522301502
Daniel
Le 22/02/2013 17:22, Thierry Martinez a écrit :
Hi!
When using the GNU Prolog bindings to the PPL library, the following goal leads
to a segmentation violation, both in the ppl_gprolog top-level and in a
compiled program.
ppl_initialize, V is (0.748233316 / 0.262237289) ** 4.
This bug disappears when PPL is configured with the --disable-fpmath option.
I have just reported this bug to the PPL library bug tracker too.
https://www.cs.unipr.it/mantis/view.php?id=475
Thanks.
--
Ce message a ete verifie par MailScanner
pour des virus ou des polluriels et rien de
suspect n'a ete trouve.
_______________________________________________
Bug-prolog mailing list
Bug-prolog@gnu.org
https://lists.gnu.org/mailman/listinfo/bug-prolog
