Logické programování v jazyku TURBO-PROLOG - Mikula, Pavel (Dům techniky ČSVTS, 1990)