Рассмотрены теоретические основы логического программирования. Даны примеры и описание предметной области с помощью логических моделей. Показана связь базовых понятий логики предикатов и основных конструкций языка логического программирования Пролог....
Rassmotreny teoreticheskie osnovy logicheskogo programmirovanija. Dany primery i opisanie predmetnoj oblasti s pomoschju logicheskikh modelej. Pokazana svjaz bazovykh ponjatij logiki predikatov i osnovnykh konstruktsij jazyka logicheskogo programmirovanija Prolog....
