Aszalós, LászlóSzabó, István2010-12-082010-12-0820102010-12-08http://hdl.handle.net/2437/101088A 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.39hukényszer kielégítésAknakeresőPrologCLPDEENK Témalista::Informatika