Introduction to artificial intelligence through Prolog - Novak, George J. (Vysoká škola ekonomická v Praze, 1994)