Рекурсия Добавить список - PullRequest
Новая
       15

Рекурсия Добавить список

0 голосов
/ 23 октября 2010

Вот фрагмент: 

translate("a", "4").
translate("m", "/\\/\\").

tol33t([], []).
tol33t([Upper|UpperTail], [Lower|LowerTail]) :-
    translate([Upper], [Lower]),
    tol33t(UpperTail, LowerTail).

По сути, я хочу найти в таблице письмо и затем получить это письмо и добавить его в новый список.

То, что у меня работает, если это символ, но я не уверен, как добавить новый список символов со старым.

Пример ввода:

l33t ("was", L),Это будет сделано следующим образом: l33t ([119,97,115], L).

Теперь это должно вернуться как: [92,47,92,47] ++ [52] ++ [53] или [92,47,92,47,52,53]

Проблема в том, что я не знаю, как это добавить.

1 Ответ

3 голосов
/ 23 октября 2010

Рассмотрим эти модификации tol33t/2: 

tol33t([], []).
tol33t([Code|Codes], Remainder) :-
    translate([Code], Translation), !,
    tol33t(Codes, Rest),
    append(Translation, Rest, Remainder).
tol33t([Code|Codes], [Code|Remainder]) :-
    tol33t(Codes, Remainder).

Первый пункт - базовый вариант.

Второе предложение будет выполнено успешно, если будет текущий перевод Code через translate/2 в виде списка символов произвольной длины (Translation - обратите внимание, что вместо этого у вас было [Lower], что ограничивалорезультаты только для списков длины 1).Вырез (!) после проверки на перевод кода приводит к рекурсивному нахождению Rest решения, а затем добавляет Translation вперед, как Remainder для возврата.

Третье предложение выполняется, если во втором предложении не было перевода для текущего Code (то есть вызова translate/2).В этом случае отсутствие перевода для Code означает, что мы просто возвращаем его как есть и вычисляем остальное.

РЕДАКТИРОВАТЬ:

Если вы не вырезали(!), второе и третье предложения могут быть объединены в: 

tol33t([Code|Codes], Remainder) :-
    tol33t(Codes, Rest),
    (translate([Code], Translation) ->            
        append(Translation, Rest, Remainder)
    ;   Remainder = [Code|Rest]
    ).

Эта (неоптимизированная) версия проверяет на каждом Code в списке символов , если есть translate/2, который преуспевает;если это так, Translation добавляется к Rest, , иначе , Code пропускается без изменений.Обратите внимание, что это имеет ту же семантику, что и реализация выше, в том смысле, что решения фиксируются (то есть имитируют срез !), если прецедент к -> (translate/2) завершается успешно.Обратите внимание, что сокращение в обеих реализациях строго необходимо;без этого программа будет возвращаться к поиску решений, в которых привязки Code не переводятся, если существует применимое предложение translate/2.

...