Szakdolgozatomban a Csokonai Nemzeti Színház havi műsortervét dolgoztam fel, mint kényszer kielégítési feladat. Dolgozatomban röviden ismertetem az ilyen fajta feladatok témakörét, valamint a megoldásukhoz alkalmazott Prolog logikai programnyelvet, és annak CLPFD könyvtárát.