Una característica distintiva es el número de ejemplos o especificaciones parciales necesario.
[7] Estos enfoques fueron divididos en dos fases: primero, los ejemplos de entrada-salida son transformados en programas no recursivos (trazas) usando un pequeño conjunto de operadores básicos; segundo, se buscan las regularidades en las trazas y se usan en un programa recursivo.
Los resultados principales hasta mediados de 1980 fueron encuestados por Smith y Biermann.
[10] Los primeros trabajos de Plotkin[11][12] y su "relativa generalización menos general (rigg)", tuvieron un enorme impacto en la programación lógica inductiva.
La mayor parte del trabajo en ILP maneja una amplia clase de problemas, ya que el foco no está solo en los programas lógicos recursivos sino también en el aprendizaje automático de hipótesis simbólicas desde representaciones lógicas.