Kolar J. Logika,algebry a grafy / J. Kolar, O. Stepankova, M. Chytil, 1989. - 434 s. - Текст : непосредственный.
Jirku P. Programovani v jazyku PROLOG / P.Jirku,P.Stepanek,O.Stepankova, 1991. - 251 s. - Текст : непосредственный.