La pretensión de este curso es tanto práctico como teórico; los lenguajes lógicos (nos centraremos en el lenguaje
Prolog) nos permiten un tipo de programación interesantísimo y con multitud de
aplicaciones, pues su lógica está basada en nociones matemáticas de relaciones e inferencia lógica. Prolog es un lenguaje de tipo declarativo, lo que significa que en lugar de describir al ordenador lo que queremos que haga como en los lenguajes habituales, le daremos una serie de hechos y reglas que describiren sus relaciones.
Fuente: http://personal5.iddeo.es
