module set_equals.
  import q2.
  subseteq nil _.
  subseteq (X::XS) YS :- member X YS, subseteq XS YS.
  set_equals XS YS :- subseteq XS YS, !, subseteq YS XS.
end