Please enable JavaScript.
Coggle requires JavaScript to display documents.
LA PROGRAMACIÓN LÓGICA, Fuentes Bibliográficas
https://iaclaudia…
LA PROGRAMACIÓN LÓGICA
Programación Lógica
La Programación Lógica, junto con la funcional, forma parte de lo que se conoce como Programación Declarativa, es decir la programación consiste en indicar como resolver un problema mediante sentencias, en la Programación Lógica
La Programación Lógica estudia el uso de la lógica para el planteamiento de problemas y el control sobre las reglas de inferencia para alcanzar la solución automática.
Características
La programación lógica es sustancialmente diferente de las otras estrategias de programación existentes. En lugar de darle instrucciones a una computadora con el programa, se establecen relaciones entre los objetos.
Dentro de un programa lógico existen dos conjuntos principales de código: hechos y reglas. Las reglas se aplican a los hechos para así obtener conocimiento sobre el medio ambiente.
La programación lógica es un paradigma de programación que utiliza los circuitos lógicos en lugar de solamente las funciones matemáticas para controlar cómo se enuncian los hechos y las reglas.
-
Lógica de primer orden
Es una ramificación de la lógica proposicional. Considera si los objetos son verdaderos o falsos desde una perspectiva parcial del mundo, llamada dominio. La programación lógica se basa en una generalización de la lógica de primer orden.
Esta lógica está compuesta de sintaxis y semántica. La sintaxis es el lenguaje formal que se utiliza para expresar conceptos. Por otro lado, la semántica de las fórmulas lógicas de primer orden indica cómo determinar el valor verdadero de cualquier fórmula.
Esta lógica se fundamenta en un alfabeto y un lenguaje de primer orden, además de un conjunto de axiomas y reglas de inferencia.
Mecanismos Básicos
Son predicados predefinidos en PROLOG para las operaciones matemáticas básicas. Su sintaxis depende de la posición que ocupen, pudiendo ser infijos o prefijos. Por ejemplo el operador suma («+»), podemos encontrarlo en forma prefija ‘+(2,5)’ o bien infija, ‘2 + 5’.
El predicado consult está pensado para leer y compilar un programa PROLOG o bien para las situaciones en las que se precise añadir las cláusulas existentes en un determinado fichero a las que ya están almacenadas y compiladas en la base de datos.
El predicado recon es muy parecido a consult, con la salvedad de que las cláusulas existentes en el fichero consultado, reemplazan a las existentes en la base de hechos. Puede ser útil para sustituir una única cláusula sin consultar todas las demás, situando esa cláusula en un fichero. Su sintaxis es la misma que la de consult.
*forget.
Tiene como fin eliminar de la base de datos actual aquellos hechos consultados de un fichero determinado. Su sintaxis.
-
-
-
Maximino Mejía Ruiz
Ing. Lozano Aguirre Eugenia Teresa
Séptimo Semestre
Programación Lógica y Funcional