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
[email protected]
https://lists.gnu.org/mailman/listinfo/bug-prolog
_______________________________________________
Bug-prolog mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/bug-prolog
