Hi Paul, indeed, gprolog does not handle rational terms (and the unification is not aware about cyclic terms).
Daniel > Le 14 déc. 2017 à 07:45, Paul Eggert <[email protected]> a écrit : > > This problem was found by my student Trevor Hackett. To reproduce the > problem, build and run gprolog for x86-64 on Fedora 27, or use the gprolog > bundled with Fedora 27 x86-64: > > $ gprolog > GNU Prolog 1.4.4 (64 bits) > Compiled Aug 3 2017, 08:15:35 with gcc > By Daniel Diaz > Copyright (C) 1999-2013 Daniel Diaz > | ?- X = [A,B,C,Y], Y = [A,B,C,X], X = Y. > Segmentation fault (core dumped) > > It looks like Pl_Unify recurses forever at unify.c:117. > > _______________________________________________ > Bug-prolog mailing list > [email protected] > https://lists.gnu.org/mailman/listinfo/bug-prolog _______________________________________________ Bug-prolog mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-prolog
