Список вводится с клавиатуры.
Например: Список [1,2,3,4] преобразуется в [4,1,2,3].
DOMAINS
ilist=integer*
PREDICATES
nondeterm append(ilist,ilist,ilist)
nondeterm sdvig(ilist,ilist)
CLAUSES
append([],B,B).
append([H|Tail],B,[H|NewTail]):-append(Tail,B,NewTail).
sdvig(List,[End|Begin]):-append(Begin,[End],List).
GOAL
sdvig([1,2,3,4,5],S).
|