¿Qué es la programación lógica?

La programación lógica es un tipo de programación de computadora en la cual el programador debe dar a la computadora instrucciones sobre cómo tomar decisiones usando lógica matemática, como el uso de un algoritmo matemático. Los programas de computadora están formados por un código que le dice a la computadora qué hacer. Eventualmente, sin embargo, la computadora se encontrará con una instancia en la que debe tomar una decisión sobre cómo proceder y, sin ninguna información sobre cómo hacerlo, no podría completar su función actual. La programación lógica se ocupa de este tipo de decisiones y le da instrucciones a la computadora para que pueda tomar una decisión "lógica" sobre la mejor manera de responder a una situación determinada. Para que la programación lógica funcione, el programador que escribe el código debe asegurarse de que sus afirmaciones tengan sentido y sean verdaderas, por lo tanto, son lógicas, y se requiere un programa de computadora conocido como comprobador de teoremas para tomar decisiones basadas en las declaraciones que encuentra en el programador. código.

Un probador de teoremas se refiere a un programa de computadora que ha sido diseñado para resolver enunciados matemáticos conocidos como teoremas. Los teoremas son declaraciones que se muestran como verdaderas en base a declaraciones anteriores. En la programación lógica, el probador de teoremas trabaja junto con las declaraciones creadas por el programador de la computadora para llegar a conclusiones. Por ejemplo, si el código establece que A es igual a B y B es igual a C, el probador de teoremas hará la conclusión lógica de que A debe ser igual a C. Este proceso es diferente al programador que simplemente le dice a la computadora en el codifique que A es igual a C porque el programa de computadora debe sacar esta conclusión usando el probador de teoremas y las declaraciones originales del programador en el código.

En teoría, para que la programación lógica funcione, el programador solo necesita asegurarse de que sus afirmaciones sean correctas y el creador de la prueba de teoremas debe asegurarse de que el programa pueda leer las declaraciones y tomar las decisiones más eficientes basadas en ellas. La capacidad de tomar una decisión eficiente se conoce como una computadora que funciona "lógicamente". En realidad, los dos campos de trabajo se superponen, y aquellos que realizan programación lógica a menudo tienen que cambiar y manipular el código en función de cómo funciona el probador de teoremas para lograr los resultados que desean. Simplemente poner declaraciones precisas sobre cómo tomar una determinada decisión puede no ser suficiente para que la computadora realice la función correcta, y el programador tendrá que probar su código y hacer los ajustes correspondientes.

Para que la programación lógica funcione, también se basa en el razonamiento hacia atrás. En el razonamiento hacia atrás, el programa llega a conclusiones al observar un conjunto de datos y trabajar a partir de declaraciones conocidas generales para llegar a conclusiones más avanzadas. El programa puede saber que dos datos son verdaderos, e inferirá que dado que esos dos datos son verdaderos, eso significa que un tercer dato también es verdadero. Continúa este proceso hasta llegar a una conclusión lógica basada en la información que se proporciona. Debido a la forma en que funciona, la programación lógica se basa en el lenguaje de representación declarativa, lo que significa que el programa le dice a la computadora lo que debe hacer, pero le deja al probador de teoremas para determinar la forma más lógica o eficiente de realizar el procedimiento solicitado.