numbervars/2 is not working

Question

rmanhaeve opened this issue 2 years ago · comments

Produces a UnifyError

To reproduce:

query(numbervars(a(X))).

Vincent · Answer 1 · Wed Dec 14 2022 02:50:09 GMT+0800 (China Standard Time)

I get the following error on your example:

UnknownClause: No clauses found for 'numbervars/1' at 1:7.

, which seems expected to me.

You probably mean to use numbervars/2 or numbervars/3 (libraries).

Robin Manhaeve · Answer 2 · Wed Dec 14 2022 04:03:01 GMT+0800 (China Standard Time)

Sorry, the example that breaks it is

query(numbervars(a(X),0)).

Vincent · Answer 3 · Wed Dec 14 2022 04:20:27 GMT+0800 (China Standard Time)

Ah yes.

Normal usage: query(numbervars(a(X),Y)).
Output: numbervars(a(X1),a($Var(0)))

What happens is engine_builtin.py::_built_in_numbervars() fails when calling unify_value. Because engine_unify.py::unify_value() raises the UnifyError. I am not familiar with numbervars so I'm not sure what the desired behavior is. Might need a try-catch there.