Prolog - Programa de operaciones con fracciones

Hola amigos!!!

Soy nuevo con esto de la programacion en prolog y pues no lo veo tan dificil, pero aun asi no logro entender algunas cosas, hace unos dias nos dejaron este programa:

El programa consta de realizar las operaciones basicas pero con fracciones

1.Defina un dominio que permita la relacion de los numeros que componen al racional

2.Defina los predicados y clausulas
hacer_racional/3 - recibe 2 numeros e instancia en un nuevo dominio para el racional
numerador/2 - instancia el numerador de un numero racional
denominador/2 . instancia el denominador de un numero racional

3.Defina los predicados y clausulas necesarias para realizar operaciones con numeros racionales
suma/3
resta/3
multi/3
division/3
iguales/3

4.Verifique que cuando el numerador y el denominador sean numeros negativos, el numero racional maneje el numero como positivo

5.Utilizando el maximo comun divisor simplifique un numero racional

Quiza para los q ya llevan tiempo programando sepan como hacerlo y me vendria bien una manita... toda ayuda sera agradecida

gracias de antemano