Современное логическое программирование на языке Visual Prolog 7.5