Związek dwóch zmiennych zbiorów

Question

Biorąc pod uwagę dwie listy zmiennych, jaki jest najbardziej kompaktowy i kanoniczny sposób w ISO Prolog, aby określić związek obu? Oznacza to, że chcemy definicję dla (meta-logiczna) predykatów

varset_union(VarSet1, VarSet2, Union) 

oraz lista list

varset_union(VarSets, Union) 

gdzie Union jest lista unikalnych zmiennych danego VarSet s.

Oto overview of the built-ins w ISO/IEC 13211-1: 1995, w tym Cor.2: 2012.

Answer 1

rozwiązanie wykorzystujące term_variables/2:

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

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

---

rozwiązanie wykorzystujące 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

oparciu o wielkiej odpowiedź Tudor, I opracowali definicję varset_union/3 czyli więcej   kompaktowy przez 2 znaki:

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

;-)