"non_ground( T, V" ) is iso
Succeeds if there are free variables in the term T, and V is one of them.