Wpis z mikrobloga

Siema mirki. Mam zadanie w świecie Wumpusa 4x4 w rachunku sytuacyjnym w logice predykatów 1 stopnia. Ludek jest skierowany w prawo, zrobił krok do przodu i zauważył bryzę/wiatr. Czy ktoś umie to rozpisać żeby dało się wywnioskować jaką akcję powinien podjąć ludek? Zakładam że agent nie wykonuje ryzykowanych akcji tylko wspaniałe, dobre i normalne więc powinien się obrócić do góry. Tylko jak to rozpisać żeby dało się zastosować wnioskowanie wstecz?

#logika #programowanie