Объединение двух переменных наборов

Question

Учитывая два списка переменных, что является самым компактным и каноническим способом в ISO Prolog, чтобы определить объединение обоих? То есть, мы хотим, чтобы это определение для (мета-логический) предикаты

varset_union(VarSet1, VarSet2, Union) 

и список списков

varset_union(VarSets, Union) 

где Union представляет собой список уникальных переменных данных VarSet с.

В настоящем стандарте: overview of the built-ins в ИСО/МЭК 13211-1: 1995, включая Cor.2: 2012.

Answer 1

Решение с помощью term_variables/2:

varset_union(VarSet1, VarSet2, Union):- 
    term_variables([VarSet1|VarSet2], Union). 

varset_union(VarSets, Union):- 
    term_variables(VarSets, Union). 

---

Решение с использованием setof/3:

varset_union(VarSet1, Varset2, Union):- 
    varset_union([VarSet1, VarSet2], Union). 

varset_union([], []). 
varset_union(VarSets, Union):- 
    setof(Var, VarSet^(member(VarSet, VarSets), member(Var, VarSet)), Union). 

Answer 2

Основываясь на большой ответ Тюдора, я разработал определение varset_union/3 что более   компактный по 2 символа:

varset_union(VarSet1, VarSet2, Union):- 
     term_variables(VarSet1+VarSet2, Union). 

;-)