В ней много внимания уделено вопросам синтеза программ, реализации языков логического программирования и их применения. Книга написана английским специалистом по программированию и знакомит читателей с фундаментальными идеями и методологией логического программирования. Воспроизведено в оригинальной авторской орфографии издания 1988 года (издательство "Мир"). Материал тщательно отобран, приводится много примеров, облегчающих усвоение материала. 2012