Nagyhatékonyságú logikai programozás

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.