UTNianos

Buenos días, me estoy quedando sin tiempo para el final y sigo sin poder hacer un ejercicio de de criptoaritmética en ProLog.
El enunciado es el siguiente: ROBERTO + AGUSTIN = RICARDO
¿Alguna idea de como se hace?
Saludos.