mplementación más rápida de aritmética verbal en Prolog

Ya hice un trabajo generalizado aritmética verbal [http://en.wikipedia.org/wiki/Verbal_arithmetic] Solver en Prolog pero es demasiado lento. Se necesitan 8 minutos para ejecutar la expresión simple S E N D + M O R E = M O N E Y. ¿Alguien puede ...