Prolog - solucion problema de los litros

estoy intentando resolver el problema de los litros en prolog: dadas 2 jarras de capacidades 7 y 5 litros, como conseguir tener exactamente 5 litros en la jarra de capacidad 7. Es un problema típico de prolog, pero no consigo resolverlo. entra en un bucle infinito. si alguien me pudiera ayudar. Muchas gracias.

Hola, solo quiero saber si pudiste resolver tu problema ya que me dejaron lo mismo y tambien tengo dificultades para resolverlo, me podrias ayudar?

Gracias espero tu respuesta

Es una broma no? necesitas 5 litros en la jarra de 7?? pero si tienes otra de 5 litros! Supongo que sera una equivocacion.