Budapest University of Technology and Economics, Faculty of Electrical Engineering and Informatics

A PROLOG nyelv alapszintű ismerete.

A hallgatók megismertetése a logikai programozás két olyan új ágával, amelyeknek a jelenlegi Prolog rendszereknél lényegesen nagyobb a hatékonysága.

A hatékonyság kérdését két oldalról vizsgáljuk: nagyobb végrehajtási hatékonyságot lehet elérni új nyelvi és fordítási eszközök alkalmazásával, illetve nagyobb programozói hatékonyságot lehet elérni nagyobb kifejezőerővel bíró nyelvek segítségével.

Az előadás első részében a Mercury logikai programozási nyelvvel foglalkozunk. A Mercury nyelv egy tisztán deklaratív programozási nyelv, amely nagy és megbízható szoftverrendszerek készítését támogatja. A Mercury nyelv a Prologot típus-, mód- és determinizmus-deklarációkkal egészíti ki. A nyelv fordítóprogramja a Mercury programokat C nyelvre, mint egy hordozható assembler nyelvre fordítja, és a jelenlegi Prolog rendszereknél sokszorosan gyorsabb kódot generál.

Az előadás második része az ún. Constraint Logic Programming (CLP) irányzattal foglalkozik. A CLP közelítésmódja a hagyományos logikai programozási nyelvektől, így pl. a Prologtól alapvetően abban különbözik, hogy a nyelv következtetési mechanizmusa az egyenlőség mellett más relációkat és függvényeket is ismer és értelmez. Például a CLP (R) nyelv a lineáris egyenlet- és egyenlőtlenség-rendszerek megoldási algoritmusait beépített módon tartalmazza. Bár a CLP-irányzat mindössze hét-nyolc éves múltra tekint vissza, már ma is komoly ipari alkalmazásai vannak, pl. repülőtársaságok ütemezési problémáinak megoldásában.

Előadás, konzultáció, önálló gyakorlás számítógépen.

a. A szorgalmi időszakban: A szorgalmi időszakban a hallgatóknak egy nagyfeladatot kell megoldaniuk és dokumentálniuk. Az aláírás feltétele a nagyfeladat elégséges szintű megoldása. (Elégséges szint: a maximális pontszám 40%-a.) A feladat csak a szorgalmi időszakban adható be, később nem pótolható. A vizsgára bocsátás feltétele az aláírás megszerzése.

b. A vizsgaidőszakban: A vizsga szóbeli A félévvégi osztályzatban a vizsgára kapott jegyet 70, a nagyfeladatra kapott jegyet 30%-os súllyal vesszük figyelembe.

A tárgyhoz tankönyv, jegyzet nincs, a témakörök többségéhez sokszorosított, ill. elektronikus segédleteket adunk ki.

vima9103.rtf