[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: gprolog segmentation violation due to infinite recursion in unificat
Re: gprolog segmentation violation due to infinite recursion in unification
Tue, 19 Dec 2017 14:43:33 +0100
Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.5.0
it is a limitation, documented here (see acyclic_term/1).
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
Bug-prolog mailing list