bug-prolog
[Top][All Lists]
Advanced

[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




reply via email to

[Prev in Thread] Current Thread [Next in Thread]