Aszalós, LászlóSzabó, István2013-01-182013-01-1820122013-01-18http://hdl.handle.net/2437/156344A szakdolgozat témája egy iskola órarendjének elkészítése kényszer kielégítési módszerek alkalmazásával. Az órarend tervezésekor figyelembe vesszük a kerettantervet, a tanári igényeket, illetve az épület termeiből adódó korlátokat. Az önálló munka legjelentősebb része a konkrét órarendre vonatkozó természetes nyelven megfogalmazott korlátok átírása a megfelelő formális nyelvre. A feladat helyes logikai megfogalmazása után a végrehajtást rábízzuk a CLPFD rendszerre, amely az SWI-Prolog környezeten alapul.56huórarendPrologCLPkényszerkielégítésDEENK Témalista::Informatika