"Логическое программирование на языке Visual Prolog (учебное пособие)" - читать интересную книгу автора (Солдатова О.П., Лёзина И.В.)