Рассматриваются основные теоретические понятия логического программирования, а также приемы и методы программирования на языке Пролог. Изучаются основы программирования на языке Visual Prolog 9. Изложение сопровождается большим числом примеров программ и иллюстраций. Приводятся упражнения для самостоятельной работы. Для студентов и аспирантов, специализирующихся в области информационных технологий, прикладной математики и информатики, программной инженерии, разработки и анализа интеллектуальных систем, а также программистов и всех интересующихся практическим использованием логического программирования.
Rassmatrivajutsja osnovnye teoreticheskie ponjatija logicheskogo programmirovanija, a takzhe priemy i metody programmirovanija na jazyke Prolog. Izuchajutsja osnovy programmirovanija na jazyke Visual Prolog 9. Izlozhenie soprovozhdaetsja bolshim chislom primerov programm i illjustratsij. Privodjatsja uprazhnenija dlja samostojatelnoj raboty. Dlja studentov i aspirantov, spetsializirujuschikhsja v oblasti informatsionnykh tekhnologij, prikladnoj matematiki i informatiki, programmnoj inzhenerii, razrabotki i analiza intellektualnykh sistem, a takzhe programmistov i vsekh interesujuschikhsja prakticheskim ispolzovaniem logicheskogo programmirovanija.