В. Н. Марков

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