Определить предикат можно_составить(L1,L2) – из
элементов списка L1, не используя никакой из них дважды, можно
составить список L2.
Вариант 1(вхитовый) говорит всегда нет, хотя, возможно, я что-то не то ввожу:
% Bilet4
% Patched by JamshyT 14.01.13
% Special for AISTd-31 :)
% To start type: jstart.
head(X,[X|L]).
tail(L,[X|L]).