Problema de Garrafas de Agua ... Prolog

Alguem aqui ja resolveu o problema das garrafas de agua em Prolog?

O problema é o seguinte :

Dados uma torneira, um jarro de capacidade 3 litros e um jarro de capacidade 4 litros (ambos vazios). Como obter 2 litros no jarro de 4? Aplicando a estratégia de Busca em Profundidade.

O problema ai é que não faço a minima ideia de como representar uma Arvore em Prolog …

Alguem da me uma luz ?