A szakdolgozat témája a kényszer kielégítés módszerének bemutatása a népszerű Aknakereső játék különböző példáin keresztül. A használt programozási környezet, a Prolog, és annak CLPFD könyvtára is bemutatásra kerül a dolgozatban. A feladat az Aknakereső játék három különböző játékterének megoldása kényszerek megadásával.