@borkdude clara has this ?binding syntax on defrule macro. In the 1st case its a binding . the second one is a comparison (since the binding already exist). Misspelling the ?cd_paciente binding cause wrong projection, because you have two bindings and no comparison. Could clj-kondo be used to warn ununsed binding ?

Not as it is right now I think. You can however disable linting for clara so it won't give any false positives: https://github.com/borkdude/clj-kondo/issues/576