Re: gprolog segmentation violation due to infinite recursion in unification

[Daniel Diaz]

Hi Paul,

it is a limitation, documented here (see acyclic_term/1).
http://www.gprolog.org/manual/html_node/gprolog028.html#sec88

Daniel

Le 18/12/2017 à 21:30, Paul Eggert a écrit :
> On 12/18/2017 11:26 AM, Daniel Diaz wrote:
> > indeed, gprolog does not handle rational terms (and the unification 
> > is not aware about cyclic terms).
>
> Thanks, is the limitation documented? It'd be nice to have something I 
> can point students to.
>
> Or is it a bug that you'd rather see fixed, presumably with some 
> performance penalty?
>
>
> _______________________________________________
> Bug-prolog mailing list
> address@hidden
> https://lists.gnu.org/mailman/listinfo/bug-prolog