Читать - Оглавление - Книга "Программирование на языке пролог" - Клоксин У.