Ocurrencia de variables en una lista de variables

Considere un predicado (metalógico)var_in_vars(Var, Vars) que toma una variableVar y una lista de variablesVars y tiene éxito siVar ocurre enVars. Por lo tanto, no necesitamos asegurarnos de queVar es una variable, ni esoVars es una lista de ...