Рассмотрим (мета-логический) предикатvar_in_vars(Var, Vars) который принимает переменнуюVar и список переменныхVars и удастся, еслиVar происходит вVars, Таким образом, мы не должны гарантировать, чтоVar это переменная, ни чтоVars это список переменных.

Какой самый компактный и канонический способ выразить это в ISO Prolog? Вотобзор встроенных модулей в ИСО / МЭК 13211-1: 1995, включая Cor.2: 2012.

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

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