Resource:
Логическое программирование на языке Visual Prolog