En la perspectiva tradicional de la IA, la programación funcional y la programación lógica pertenecen a la programación declarativa. El programador escribe una descripción del problema a resolver utilizando un lenguaje particular (como LISP o PROLOG).
Luego, un compilador genera el programa ejecutable. Sin embargo, estos estilos de programación son muy lejanos. Están de la idea de “proveer una descripción del problema capaz con el objetivo de que una máquina puede resolver en forma autónoma”.
Comentarios