Betrachte ein (meta-logisches) Prädikatvar_in_vars(Var, Vars) welches eine Variable nimmtVar und eine Liste von VariablenVars und erfolgreich wennVar tritt auf inVars. Wir müssen also nicht sicherstellen, dassVar ist eine Variable, noch dasVars ist eine Liste von Variablen.

Was ist die kompakteste und kanonischste Art, dies in ISO Prolog auszudrücken? Hier ist einÜbersicht der eingebauten in ISO / IEC 13211-1: 1995 einschließlich Cor.2: 2012.

?- var_in_vars(V, [U,V,W]).
true.

?- var_in_vars(V, [X,Y,Z]).
false.