SMS: Теория и практика логического программирования на языке Visual Prolog 7