Re: gprolog segmentation violation due to infinite recursion in unification

[Paul Eggert]

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?