lenguaje logico





¿Qué es un lenguaje lógico?

La programación lógica es un tipo de paradigmas de programación dentro del paradigma de programación declarativa.El resto de los subparadigmas de programación dentro de la programación declarativa son: programación funcional, programación con restricciones, programas DSLe híbridos.
La programación funcional se basa en el concepto de función, de corte más matemático. La programación lógica gira en torno al concepto de predicado, o relación entre elementos.
Loslenguajes lógicos son declarativos, como opuestos a los lenguajes procedí mental. En un lenguaje de programación lógica típico, de los que Prolog es sin duda el mejor representante, cada aserción osentencia expresa una proposición que puede ser representada por una fórmula lógica.
Los lenguajes de programación lógico funcionales integran algunas de las mejores características de los paradigmasdeclarativos clásicos, en concreto:
• La programación lógica
• La programación funcional.
Cada uno de estos estilos tiene diferentes ventajas con respecto a sus aplicaciones prácticas.¿Para qué sirven?
Los lenguajes lógicos permiten:
- La computación con información parcial.
- Están provistos de facilidades de búsqueda de soluciones.
Sin embargo, se ha demostrado que las ventajas deestos estilos pueden combinarse de manera efectiva y útil sobre un lenguaje único. Los lenguajes lógico funcionales modernos ofrecen características de ambos estilos. La semántica operacional de loslenguajes integrados esta usualmente basada en narrowing, una combinación de la unificación y reducción como mecanismo de evaluación que subsume a la reescritura y a SLD-resolución.

Ejemplos delenguajes lógicos
En este ejemplo es para saber si una persona puede comprar un auto o no:
respecto si le gusta , tiene oferta y existe: 


predicates 
puede_comprar_auto(symbol,symbol) ...