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