Számítástudományi és Információelméleti Tanszék

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. ). Ennek tapasztalatai alapján a SICStus rendszerben létre kell hozni egy opcionális típus-ellenőrző programot, amely a Deklaratív Programozás c. tárgy oktatásában is jól használható.

A munka viteléhez szükséges a Prolog nyelv ismerete.

Dr. Szeredi Péter
egyetemi docens
29-86
szeredi@iqsoft.hu