Success: nonground(VarTerm). nonground(f(a,B,c)). nonground([x,y|Z]). Fail: nonground(atom). nonground(likes(man,woman)).