Daniel: > This seems to come from the PPL library rather than from a gprolog bug.
It was a bug in the GNU libc. I reported the bug here: http://sourceware.org/bugzilla/show_bug.cgi?id=15194 _______________________________________________ Bug-prolog mailing list Bug-prolog@gnu.org https://lists.gnu.org/mailman/listinfo/bug-prolog