Задание выглядит так
Для заданного списка строк, построить новый список, элементы которого расположены в зеркальном отражении относительно исходного списка, например для списка [a, b, c, d] нужно получить [d, c, b, a]
Эту задачу я нашла на одном из 2-х форумов (я не помню какой но один из них был этот форум, я извиняюсь за забывчивость
,но если задача была опубликована на данном форуме, то киньте Пожалуйста ссылку с данной задачей (у меня недавно винта слетела- поэтому страницы с данной задачей нету,а скопировала я только начало программы без её исправлений, которые были на странице) программа была написана в среде Visual Prologона выглядит так
list=string*
reverse(list,list).
append(list,list,list).
append([],L,L).
append([H|T],L2,L3):-
append(T,[H|L2],L3),
reverse([],[]).
reverse(L,L1):-
append(L,[],L1).
goal
L1=["1","2","3","a","b","c"],
reverse(L1,L2),
write(L1),nl,write(L2).
Я переделала её под Strawberry Prolog, вроде все работает, только компилятор выдает замечание
Warning 6: The predicate =(...) is defined in the ADD file. (clause 0)
0 errors, 1 warning.
А результат такой
[1,2,3,a,b,c]
[c,b,a,3,2,1]Yes.
сама программа выглядит так
list=string*
reverse(list,list).
sliyanie(list,list,list).
sliyanie([],L,L).
sliyanie([H|T],L2,L3):-
sliyanie(T,[H|L2],L3),
reverse([],[]).
reverse(L,L1):-
sliyanie(L,[],L1).
?-L1=["1","2","3","a","b","c"],
reverse(L1,L2),
write(L1),nl,write(L2).
В чем дело я понять так и не могу, для себя объяснила эту задачу так
Строка 3
L1 и L2 - списки, а L3 - их соединение.
Начиная с 4-й строки и до реверсии
1. Если присоединить пустой список [] к списку L, то получим список L.
sliyanie([],L,L).
sliyanie([H|T],L2,L3):-
sliyanie(T,[H|L2],L3),
5 строка Если присоеденить не пустой список [H|T] к списку L2, то результатом будет список L3, где L3 получаeтся соединением тела списка [H|T] к [H|L2]
С точки зрения процедурной семантики
первое предложение - терминальное условие,
второе - рекурсивное с хвостовой рекурсией
Пустой список после обращения - пустой.
reverse([], []).
Обратить список [X|L1] и получить список L2 можно, если обратить список L1 в L3 и в хвост ему добавить X
reverse([X|L1], L2):-reverse(L1, L3),
append( L3, [X], L2).
reverse([X|L1], L2):-reverse(L1, L3),
append( L3, [X], L2).
Вот этот алгоритм хвостовой рекурсии вместе с реверсией мне так и не понятен...............Если кто может,объясните Пожалуйста,мне достаточно всего лишь проследить перемещение одного элемента списка и я всё пойму, а как это сделать я не знаю
Заранее спасибо всем!