gprolog icon indicating copy to clipboard operation
gprolog copied to clipboard

numbervars/3 silently refuses to number vars

Open Jean-Luc-Picard-2021 opened this issue 1 year ago • 0 comments

Some testing:

/* GNU Prolog 1.5.0 */
?- X = f(A,X), numbervars(X, 0, _), write_canonical(A), nl.
_24
cannot display cyclic term for X

/* SWI-Prolog 9.1.16 */
?- X = f(A,X), numbervars(X, 0, _), write_canonical(A), nl.
'$VAR'(0)
X = f(A, X),
A = A.

Bug or feature?

Jean-Luc-Picard-2021 avatar Oct 18 '23 13:10 Jean-Luc-Picard-2021