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