¿Qué es la programación lógica?
La programación lógica es un tipo de programación de computadoras en la que el programador debe dar las instrucciones de la computadora sobre cómo tomar decisiones utilizando la lógica matemática, como el uso de un algoritmo matemático. Los programas de computadora están formados por 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 hacer esto, no podría completar su función actual. La programación lógica trata de este tipo de decisiones y da instrucciones a la computadora para que pueda tomar una decisión "lógica" sobre la mejor manera de responder a una determinada situación. Para que la programación lógica funcione, el programador que escribe el código debe garantizar que sus declaraciones tengan sentido y sean verdaderos, por lo tanto, sean lógicos, y se requiere un programa de computadora conocido como teorema para tomar decisiones basadas en las declaraciones que encuentra en el código del programador.
Un teorema que se refiere a un programa de computadora que ha sido diseñado para resolver declaraciones matemáticas conocidas como teoremas. Los teoremas son declaraciones que se muestran verdaderas basadas en declaraciones anteriores. En la programación lógica, el teorema-Provergido funciona junto con las declaraciones creadas por el programador de computadoras para llegar a conclusiones. Por ejemplo, si el código establece que A es igual a B y B es igual a C, el Proverso del Teorema llegará a 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 código que A es igual a C porque el programa de la computadora debe extraer esta conclusión utilizando el Prover de teorema 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 declaraciones sean correctas y que el creador del teorema-PROVERSE debe asegurarse de que el programa pueda leer las declaraciones y hacer la mayor EFdecisiones insensibles 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 una programación lógica a menudo tienen que cambiar y manipular el código en función de cómo funciona el teorema que funciona 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 realizar ajustes en consecuencia.
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 desde declaraciones generales conocidas para llegar a conclusiones más avanzadas. El programa puede saber que dos piezas de información son ciertas, y inferirá que, dado que esas dos piezas de información son ciertas, eso significa que una tercera pieza de información también es cierta. COEntrada este proceso hasta que llega a una conclusión lógica basada en la información que recibe. Debido a la forma en que funciona, la programación lógica se basa en el lenguaje de representación declarativo, lo que significa que el programa le dice a la computadora lo que debe hacer, pero deja que el teorema se agote para determinar la forma más lógica o eficiente de realizar el procedimiento solicitado.