"Kononenko, Igor" Prolog Through Examples - \\199000ENGGPSX - Galgotia 1990 New Delhi - 198p includes index and biblioraphy ISBN: 1850580723