Нужно реализовать задачу БЕЗ решателя, только пространство состояний

Нужно реализовать задачу БЕЗ решателя, только пространство состояний
Реализовать на Прологе пространство состояний задачи о перемещении кубиков. Количество кубиков — 4. Начальное состояние: кубики стоят один на другом в следующем порядке (сверху вниз): a,b,c,d. Конечное состояние — 3 кубика стоят один на другом в порядке a,b,c; а кубик d отдельно лежит на столе. В качестве аргументов структуры состояние использовать состояния отдельных кубиков (определяющие, на чём кубик лежит). В качестве решателя использовать итеративный поиск в глубину.