В книге излагаются основы логического программирования. Дается
описание языка Пролог. Обсуждаются ввод-вывод, приемы и средства
организации интерактивных программ, вопросы недетерминированного
программирования, применения структур данных, допускающих
накопление данных, техника граматического разбора, программирования
метаинтерпретаторов. Изложение удачно иллюстрируется примерами
программ. Рассматриваются некоторые приложения Пролога:
программирование игр, создание экспертных систем и компилятора для
языка высокого уровня. Для системных программистов и
инженеров-математиков, разрабоатывающих информационно-программное
обеспечение ЭВМ.