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