Lógica de programación: el primer paso para aprender a programar

El lenguaje de programación lógica por excelencia es Prolog, que cuenta con diversas variantes. La más importante es la programación lógica con restricciones (véase artículo sobre programación con restricciones), que posibilita la resolución de ecuaciones lineales además de la demostración de hipótesis. Alguna estrategia de búsqueda puede ser usada para Leggi tutto…