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

      Комментарии к записи Ответ в теме: Замена букв цифрами (Квантик) отключены
#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

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