Ocorrência variável em uma lista de variáveis

Considere um predicado (meta-lógico)var_in_vars(Var, Vars) que pega uma variávelVar e uma lista de variáveisVars e consegue seVar ocorre emVars. Portanto, não precisamos garantir queVar é uma variável, nem queVars é uma lista de variáveis. Qual ...