La programación inductiva es una área específica dentro de la programación automática, cubriendo investigaciones de inteligencia artificial y programación, que encara el aprendizaje de programas típicamente declarativos y frecuentemente recursivos a partir de especificaciones incompletas tales como ejemplos de pares entrada/salida y restricciones.. Wikipedia