Prolog programok tesztelése - Kevei Attila (1993)