Logické programování v jazyku Turbo Prolog : sborník - Mikula, Pavel (Dům techniky ČSVTS, 1990)