>>300
ご存知かもしれませんが、select/3を使うと、もっとシンプルに書けますよ。

choice2(L, E1, E2) :- select(E1, L, L1), select(E2, L1, _).