Re: gprolog segmentation violation due to infinite recursion in unification

Paul Eggert <[email protected]> Mon, 18 Dec 2017 12:30:45 -0800

Newsgroups	gmane.comp.gnu.prolog.bugs
Organization	UCLA Computer Science Department
Message-ID	<[email protected]>

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?