変数の 2 つのリストが与えられた場合、ISO Prolog で両方の結合を決定するための最もコンパクトで標準的な方法は何ですか? つまり、(メタ論理) 述語の定義が必要です。
varset_union(VarSet1, VarSet2, Union)
およびリストのリストの場合
varset_union(VarSets, Union)
はUnion、指定された s の一意の変数のリストですVarSet。
これは、Cor.2:2012 を含む ISO/IEC 13211-1:1995の組み込みの概要です。