Függvények a teljes Prolog nyelvben. A logikai programozás és a Prolog nyelv. Forráskód elemzés, hibakezelés és tárgykód generálás definit klóz nyelvtanokkal. Nyelvek hibaszemantikája.

Gráfkeresések hatékonyságának javítása. Hatékonyságnövelés indirekt pointerekkel. Rendezett sorozatok reprezentáció-transzformációi.Karakterlánc-illesztő algoritmusok elemzése.