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