La lógica de primer orden estudia la composición de las proposiciones, y permite representar

conocimiento lógico de un mundo, por medio de operadores, variables, objetos, cuantificadores,

entre otros.

Un argumento consta de un conjunto de premisas, seguidas de una conclusión. No es necesario

que sean verdaderas, solo que las premisas conlleven a la conclusión. Una premisa en este caso es
una proposición que permite llegar a una conclusión; formando así un argumento.

Una proposición es un enunciado en el cual se afirma un hecho, pudiendo este ser verdadero o
falso. Una premisa en este caso son los procesos de un razonamiento para desarrollar una
conclusión a base de las proposiciones, dicha conclusión puede ser construida a base de
numerosas premisas; aumentando el rango de veracidad.

Bajo toda esta premisa, surge el lenguaje de programación Prolog. Usado comúnmente para el
campo de la inteligencia artificial, ya que este hace parte del paradigma lógico. Entre otras áreas,
tenemos:

-Sistemas expertos, donde un sistema de información imita las recomendaciones de un experto

sobre algún dominio de conocimiento (en el caso de Prolog, su sistema se basa en las reglas).
Sus tareas en este campo se establecen como: monitorización, diseño, planificación, simulación,
introducción, control y recuperación de información.

-Demostración automática de teoremas, donde un programa genera nuevos teoremas sobre una
teoría existente.

-Reconocimiento de lenguaje natural, donde un programa es capaz de comprender (con

limitaciones) la información contenida en una expresión lingüística humana.