Is there some utility to inspect the variable analysis of a clause before it gets asserted during consult. I read that SWI-Prolog carries out some variable analysis, but I am ne
