📖 Теория и практика логического программирования на языке Visual Prolog 7. Учебное пособие для вузов. Гриф УМО вузов России

Рассмотрены теоретические основы логического программирования. Даны примеры и описание предметной области с помощью логических моделей. Показана связь базовых понятий логики предикатов и основных конструкций языка логического программирования Пролог....