Я практикую пролог и все такое, и это убивает меня. Попытка сделать это:
twice([1,2,3],X).
результат, который я хочу,
X = [1,1,2,2,3,3].
Вот моя последняя попытка:
twice([HD|TL],[HD2|TL2]):-
twice(TL,[HD,HD2|TL2]).
twice([],[HD|TL]).
//Новый
twice([],[]).
twice([A|B],Out):- twice([A|B],[A,A|Rest],
twice(B,Rest).
Начните с базового случая,
twice([],
"дважды из ничего"... ничего, верно?
[]).
А что, если там что-то есть?
twice([A|B],
тогда что? мы хотим, чтобы результат начинался с A? Спорим,
[A,
что там дальше?
...
(заполните, пожалуйста). Потом остальное:
| Rest] ):-
Итак, продолжаем. Rest взято из B:
twice(B, ...).
заполните и это, пожалуйста.
... там, в спецификации списка [A, ... | Rest]. Например, [1, 2 | [3,4]] — это еще один способ записать список [1,2,3,4]. Что делать, если вы хотите 1 дважды? Тогда это [1, 1 | [3,4]], то же, что и [1,1,3,4], то же, что и A=1, [A,A | B], B=[3,4].
- person Will Ness; 13.12.2013
Давайте сначала рассмотрим более простую задачу, предикат, в котором каждый элемент на входе не получает выход дважды, а только один раз (ввод и вывод, по сути, одинаковы).
onlyonce([], []).
onlyonce([Head | Tail], [Head | NewTail]) :-
onlyonce(Tail, NewTail).
Первый пункт очевиден.
Второй пункт означает:
Если вы понимаете, как работает «только один раз», очень легко изменить его на «дважды».
Попробуй это:
twice([], []).
twice([A|B], [A,A|Rest]) :- twice(B, Rest).
twice([], [HD|TL]).- это предикат, говорящий, что дважды пустой список (ничего) - это... что?[HD|TL]? Это было бы не логично. - person lurker schedule 13.12.2013[A|B]естьOut, но затем дает определение, которое не включаетOut. Подумайте: как должно выглядетьOut? Разве это не будет список с повторениемAперед ним? Таким образом, заголовок этого предложения должен бытьtwice([A|B], [A,A|C])(дважды[A|B]— это список, похожий на[A,A|C]if...), а тело завершает if, определяя, как связаныBиC. - person lurker schedule 13.12.2013