Uvod v prolog in zbirka nalog z rešitvami - Kononenko, Igor (Fakulteta za elektrotehniko, 1987)