1. Indique que es la programación lógica.

Paradigma de programación basado en la lógica de primer orden. La programación lógica estudia

el uso de la lógica para el planteamiento de problemas y el control sobre las reglas de inferencia
para alcanzar la solución automática.

La programación lógica, junto con la funcional, forma parte de lo que se conoce como
Programación Declarativa, es decir la programación consiste en indicar como resolver un
problema mediante sentencias, en la Programación Lógica, se trabaja en una forma descriptiva,
estableciendo relaciones entre entidades, indicando no como, sino que hacer, entonces se dice
que la idea esencial de la programación lógica es programa = lógica + control

2. Defina que es Prolog

Lenguaje de programación diseñado para representar y utilizar el conocimiento que se tiene sobre
un determinado dominio. Los programas en ProLog responden preguntas sobre el tema del cual
tienen conocimiento. ProLog es un lenguaje de programación especialmente indicado para
modelar problemas que impliquen objetos y las relaciones entre ellos. Está basado en los
siguientes mecanismos básicos: unificación, estructuras de datos basadas en árboles y
backtracking automático. La sintaxis del lenguaje incluye la declaración de hechos, preguntas y
reglas. La popularidad de este lenguaje se debe a su capacidad de deducción y además es un
lenguaje fácil de usar por su semántica y sintaxis. Sólo busca relaciones entre los objetos creados,
las variables y las listas, que son su estructura básica.

3. Para que se utiliza Prolog (aplicaciones).

Se trata de una utilidad que permite probar los programas, depurarlos, etc. Su funcionamiento es
similar a los interfaces de línea de comando de los sistemas operativos. Una biblioteca de
utilidades: Estas bibliotecas son, en general, muy amplias.

4. Indique algunos lenguajes de programación lógica diferentes a Prolog.

Fortran, Pascal, C y Java.

5. Indique si Prolog es un lenguaje imperativo o declarativo.

Prolog se enmarca en el paradigma de los lenguajes lógicos y declarativos, lo que lo diferencia
enormemente de otros lenguajes más populares.