A dolgozat célja a korlát-logikai programozás ismertetése, valamint alkalmazásának szemléltetése egy gyakorlati példán. Ez a példa a népszerű „kukac” játék egy változata, amiben a játékosnak egy játéktérben kell mozognia, miközben bizonyos mezőkön áthaladva az irányított „kukac” mérete megnő.