Как написать программу CLP на прологе, чтобы вычислить сумму двух списков, чтобы сгенерировать третий. например. ОТПРАВИТЬ + БОЛЬШЕ = ДЕНЬГИ, AM + PM = ДЕНЬ

Question

? - крипто ([A, M] + [P, M] = [D, A, Y]) решение: [2,5] + [9,5] = [1,2,0].

Программирование на прологе.

Буквы в каждом списке должны иметь случайное значение, назначенное в диапазоне от 0 до 9, а начальный элемент в списке не может иметь 0.

Я ищудля обобщенного решения, которое может работать для любых списков, таких как SEND + MORE = MONEY, AM + PM = DAY, BIKE + FOR = RIDE etcs.