lenguajes logicos

Lenguajes Lógicos
Es la ciencia de las leyes y de las formas del pensamiento, que nos da normas para la investigación científica y nos suministra un criterio de la verdad.
Es simbólico,artificial, preciso, escrito y universal 
Simbólico: porque usa formulas, símbolos y signos convencionales
Preciso: porque evita la ambigüedad o doble sentido y tiene una sola interpretación
Universal:porque se aceptan sus principios y normas
La lógica se divide en simples y complejas. Las formas simples que son las formas elementales del pensamiento son el concepto, el juicio y el razonamiento.Cualquier pensamiento que se considere, por grande que sea su complejidad, puede reducirse, en última instancia a estas tres formas elementales. Ala parte de la lógica que trata de las formas elementalesdel pensamiento se le designa generalmente con el nombre de lógica formal. La segunda parte, que se ocupa de las formas metódicas, que están constituidas, a su vez por combinaciones de las formas mássimples.
La programación lógica encuentra su hábitat natural en aplicaciones de inteligencia artificial o relacionada: Sistemas expertos, donde un sistema de información imita las recomendaciones deun experto sobre algún dominio de conocimiento.
Demostración automática de teoremas, donde un programa genera nuevos teoremas sobre una teoría existente.
Reconocimiento de lenguaje natural, donde unprograma es capaz de comprender (con limitaciones) la información contenida en una expresión lingüística humana.
Etc.
La programación lógica también se utiliza en aplicaciones más "mundanas" pero demanera muy limitada, ya que la programación tradicional es más adecuada a tareas de propósito general.

Ejemplos de lenguajes lógicos

La programación lógica permite formalizar hechos del mundoreal, por ejemplo:
las aves vuelan
los pingüinos no vuelan
"pichurri" es un ave
"sandokan" es un perro
"alegría" es un ave

y también reglas o restricciones:
una mascota...