Aknakereső rejtvény megoldása kényszer kielégítési módszerek használatával
Betöltés ...
Fájlok
Dátum
Authors
Folyóirat címe
Folyóirat ISSN
Kötet címe (évfolyam száma)
Kiadó
DOI
Absztrakt
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.