Hi, Daniel! Daniel: > This seems to come from the PPL library rather than from a gprolog bug.
Indeed. I received an answer from PPL developers: PPL is using special rounding methods when compiled for using native floating-point numbers and the problem is solved by switching between restore_pre_PPL_rounding and set_rounding_for_PPL modes. Yet, I am surprised that the mere fact of changing rounding methods can make a mere call to libc pow segfault! -- Thierry. _______________________________________________ Bug-prolog mailing list Bug-prolog@gnu.org https://lists.gnu.org/mailman/listinfo/bug-prolog
