Prolog through examples - Kononenko, Igor; Lavrač, Nada (Sigma Press, 1988)