Prolog - Mgr. hacer un programa de integracion simbólica en prolog

Hola necesito ayuda, tengo que hacer un programa de integracion simbólica en prolog, necesito ayuda principalmente en la simplicacion de las expresiones puede alguien ayudarme? Soy principiante. es mi primer aňo que estudio prolog.
gracias

Hola quizás te pueda servir esto,:

http://serdis.dis.ulpgc.es/~ii-lc/LC/Practica-3/Practica-3.html

saludos

gracias por tu respuesta
voy a ver si me puede ayudar.