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 variables
¿Cuál es la forma más compacta y canónica de expresar esto en ISO Prolog? Aquí hay undescripción general de los elementos integrados en ISO / IEC 13211-1: 1995 incluyendo Cor.2: 2012.
?- var_in_vars(V, [U,V,W]).
true.
?- var_in_vars(V, [X,Y,Z]).
false.