Este libro del Profesor Kowalski es una de las obras fundamentales que requieren de un profesional, investigador o estudiante de la Inteligencia Artificial, tanto por la información que proporciona, para el nivel académico que posee. También será de gran utilidad para los lógicos y matemáticos que están interesados en saber cómo la lógica es el pilar más importante de las lenguas de la nueva generación, cuyo PRÓLOGO es ya una realidad.