A szakdolgozat témája a kakuro rejtvények megoldása a mesterséges intelligencia egy eszközével, a kényszerkielégítő programozás segítségével. A szakdolgozatomat a logikai programozásban használt, Prolog programnyelv és annak kényszerkielégítő programozással foglalkozó, CLPFD könyvtárának a bemutatásával kezdem. Majd egy matematikai rejtvényt, a kakurot és annak szabályait ismertetem. A dolgozat második felében, a Java nyelven írt rejtvény megoldó programomat és a megoldás folyamatát mutatom be. A kakuro rejtvények megoldásához elkészítettem egy megoldó algoritmust, amit a Java programban implementáltam.