Prolog - Evaluador de Expresiones

Necesito hacer un evaluador de expresiones, ya he hecho algo, por ejemplo: Tenemos esta expresion: X+4*Y^2/10 ya yo valide suma resta, multiplicacion , en fin todas las operaciones yo pongo X+4 y le asigno a X valor 2 por ejemplo y me devuelve el valor correcto, pero cuando voy a poner 2 operaciones aunque sean la misma por ejemplo
x+5-1 ya eso no me lo hace porque la parte de recursividad no la se hacer no se validar 2 operaciones.

Nadia, si estas en la uci, necesito que me escribas, mi nombre es unico... tal vez nos podamos ayudar mutuamente.. yo tengo algo, y tal vez podamos convinarlos... por favor escribeme...
Saludos...