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