Isn’t it possible to assert a variable as a fact or a variable fact?

like this:

 

(bind ?var number1)

….

(assert (?var))

Reply via email to