Prolog - jarras de Agua

Tenemos dos jarras, una de 4 litros de capacidad y otra de 3 litros. Ninguna de ellas tiene marcas que permitan identificar cuánta agua hay en ellas. Existe un grifo que permite llenar las jarras de agua; es posible vaciar el contenido de las jarras; verter el contenido de una en otra. El problema consiste en encontrar una secuencia de movimientos que consiga dejar exactamente 2 litros de agua en la jarra de 4 litros de capacidad.