A szerdai (máj 17) beszámoló-vizsga helyszíne: IB138, ideje 10-13.

A vizsgán a jegyzet és vagy a fóliák szabadon használhatók, lehetőleg kinyomtatva, de végszükség esetén laptopról, mobilról is.

A házik máj 17-ig beadatók.

A vizsgán lesz egy feladat amelyhez reifikációt kell használni, hasonló a  vizsga-minta feladatsorban szereplő nullsoros/1 példához. Ennek megoldásában segíthet az AIT kurzus fóliáin bemutatott séma.  A csatolt PDF file-ban két rövid szakasz szerepel az AIT-s fóliákból. Az első a reifikációról szól, ebben a 219-es fóliát nézzétek meg, majd a 223-as fólián levő sémát, amivel egy Prolog kódból clpfd kód gyártható. A 224. fólia mutatja be ennek egy alkalmazását, ami a 219-es fólián szereplő feladat egy másik megoldása.