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
