Ejemplos:

La programación lógica permite formalizar hechos del mundo real, 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 vuela si es un ave y no es un pingüino

Ante dicho "programa" es posible establecer hipótesis que no son más que preguntas o incógnitas, por ejemplo:

   ¿ "pichurri" vuela ?
   ¿ qué mascotas vuelan ?....

Gracias a que la lógica de primer orden es computable, el ordenador será capaz de verificar la hipótesis, es decir, responder a las incógnitas:

   Es cierto que "pichurri" vuela.
   "pichurri" y "alegría" vuelan. 

más ejemplos

Importancia de la Lógica de programación

En esta formación usted podrá desarrollar procesos de trabajo tales como uso de aplicaciones de tipo general o específico, diseño de sistemas y bases de datos, así como el manejo de redes y la lógica computacional para plantear soluciones a problemas relacionados con la informática.
Las  Programación es vital para entender que la elaboración del software requiere que el ingeniero tenga un pensamiento lógico, razonado y sistemático, para plasmar dichos procesos de uso cotidiano en sentencias entendibles por la computadora y, por ende, la utilización de ésta como un medio electrónico para realizar diferentes tareas.

Conforme vaya avanzando en el estudio de esta asignatura, se dará cuenta que no es fácil desarrollar soluciones prácticas en el primer intento, ya que para lograrlo necesitará aplicar las metodologías para la solución de problemas presentadas en este curso, encontrando así, cada vez que resuelva un problema, mayor facilidad para planear buenas soluciones.

La lógica Computacional no sólo le ayudará a resolver problemas de informática, también le dará elementos para resolver problemas de la vida cotidiana, permitiéndole lograr una mejor organización en sus actividades diarias. Las asignaturas pretenden brindarle los elementos teóricos-prácticos de la metodología estructurada, para desarrollar formas de pensamiento lógicas que requiere esta disciplina, por lo cual se considera una de las asignaturas básicas de la Capacitación.

Qué es...????

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 DSL (de dominio específico) e híbridos. La programación funcional se basa en el concepto de función (que no es más que una evolución de los predicados), de corte más matemático. La programación lógica gira en torno al concepto de predicado, o relación entre elementos.

Más información:
más información