declare
   [A B C D] = [1 2 3 4]  %% unification of two lists