Számítástudományi és Információelméleti Tanszék
Témakiírás
Típusos logikai programozás
A logikai programozás alapnyelve, a Prolog nem típusos nyelv, azonban
vannak típusos változatai, pl. Mercury
(http://www.cs.mu.oz.au/research/mercury/), Ciao
(http://clip.dia.fi.upm.es/Software/Ciao/). A munka során fel kell
deríteni a Prolog típusos nyelv-változatait és a hozzá kifejlesztett
legfontosabb típus-ellenőrzőket
(pl. A munka viteléhez szükséges a Prolog nyelv ismerete.
Dr. Szeredi Péter
egyetemi docens
29-86
szeredi@iqsoft.hu