[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: gprolog segmentation violation due to infinite recursion in unificat
|
From: |
Daniel Diaz |
|
Subject: |
Re: gprolog segmentation violation due to infinite recursion in unification |
|
Date: |
Mon, 18 Dec 2017 20:26:43 +0100 |
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 <address@hidden> 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
> address@hidden
> https://lists.gnu.org/mailman/listinfo/bug-prolog