Lógica, programación e inteligencia artificial

El presente libro del Profesor Kowalski constituye una de las obras fundamentales que debe tener todo profesional, investigador o estudiante de Inteligencia Artificial, tanto por la información que proporciona como por el nivel académico que encierra. También será de inmensa utilidad para los lógicos y matemáticos que estén interesados en conocer cómo la lógica es el pilar más importante de los lenguajes de nueva generación, de los cuales el PROLOG es ya una realidad.