Szeredi, Péter and Sántáné-Tóth, Edit and Bendl, Judit (1980) PROLOG fejlesztések és alkalmazások Magyarországon. SZKI Elméleti Laboratórium, Budapest.