¿por qué la programación lógica es un paradigma dentro del área de inteligencia artificial?