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