Всем доброго времени суток!Требуется решить такую задачу в swi-prolog:

Имеется два кувшина вместимостью 5 и 8 л, и необходимо отмерить 4 литра из
бочки с водой (воды в бочке неограниченно много). Возможными операциями являются:
1) наполнение кувшина водой из бочки (кувшин наполняется полностью);
2) выливание
содержимого кувшина в бочку;
3) переливание из одного кувшина в другой до полного опустошения первого, либо до полного заполнения второго.
Указания к решению. Различные состояния этой задачи задаются информацией,сколько воды в первом кувшине и сколько во втором. Поэтому структура state(Объем_воды_в_первом_кувшине, Объем_воды_во_втором_кувшине) описывает состояние задачи. Начальное состояние state(0, 0), конечные состояния – state(_,4) или state(4,_).
Два кувшина с водой. Поиск в глубину.

Срок выполнения 5 дней.Оплата договорная.Если вас заинтересовал заказ,то просьба писать мне в лс на этом форуме.Цена договорная
В файле есть готовая реализация поиска в глубину