Ответ в теме: Замена букв цифрами (Квантик)

      Комментарии к записи Ответ в теме: Замена букв цифрами (Квантик) отключены
#2395

Ваша задача заключается в установлении соответствия между буквами и цифрами — первый тип задач из статьи «решение логических задач на Prolog«.
Буквы могут заменяться только разными цифрами, поэтому мы можем сформировать список цифр и сгенерировать размещения без повторений.
После генерации остается лишь вычислить левую и правую части выражения и проверить их равенство:

solve(K, V, A, N, T, I):-
permutation([0,1,2,3,4,5,6,7,8,9], 6, [K, V, A, N, T, I]),
KVA is (K*10+V)**A,
NTIK is K + I*10 + T*100 + N*1000,
KVA is NTIK.

Как видно на снимке экрана, задача имеет два решения:

19^2 = 0361
93^2 = 8649

Если у Вас имеется альтернативное решение задачи — поделитесь пожалуйста (желательно с подробным описанием функций).