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

A cél egy olyan, a gyakorlatban alkalmazható Prolog preprocesszálási módszer kifejlesztése, amely nem igényel külön preprocesszor-nyelvet. Ez úgy érhető el, hogy a preprocesszálást úgy tekintjük, mint Prolog forrásprogramok transzformációját. Ez az általános irányzat az ún. parciális evaluáció (http://www.diku.dk/research-groups/topps/activities/PartialEvaluation.html), ennek a közelítésmódnak a SICStus Prolog esetére való alkalmazása a Mixtus rendszer (http://www.sics.se/ps/mixtus.html).

Ezen, viszonylag általános megközelítések mellett, a SICStus Prolog fejlesztési munkáinak megkönnyítésére készült egy egyszerű előfeldolgozó program, amely fordítási időben végez el egyes redukciós lépéseket (eljáráshívásokat). A munka célja ennek a preprocesszornak a továbbfejlesztése.

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

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