Water Jug Problem Solution In Prolog