Учитывая два списка переменных, что является самым компактным и каноническим способом в ISO Prolog, чтобы определить объединение обоих? То есть, мы хотим определить (мета-логические) предикаты
varset_union(VarSet1, VarSet2, Union)
и для списка списков
varset_union(VarSets, Union)
где Union
- список уникальных переменных данного VarSet
s.
Вот обзор встроенных модулей в ISO / IEC 13211-1: 1995, включая Cor.2: 2012.