an0nym,
То есть - список является началом другого
А Erlang-то - как Пролог работает-то или иначе? Выражения вроде аналогичны и
заявлено, что и как Пролог может, но - реально?
На Прологе (SWI и Amzi под рукой есть) - так например
1.
podspisleft([X|T1],[X|T2]):-podspisleft(T1,T2).
podspisleft([],T2).
-> в Erlang отобразить
подсписок в любом месте списке
podspis(X,Y):-append(_,L,Y),append(X,_,L).
append - встроеный, но можно расписать - конкатенация то есть это
konkat([],T,T).
konkat([X|T1],T2,[X|T3]):-konkat(T1,T2,T3).
