Programacion Logica y funcional

Programacion Logica y funcional

1. Unidad 4, modelo de programacion logica.

   • 4.9 Predicados mitologicos
     • La construcción sirve para pasar nombres de predicados como argumentos. El siguiente predicado determina si cierta lista esta ordenada según algún criterio que no se conoce a priori:
       • ordC ([_],_). ordC ([X, Y | L], Criterio) : - Menor =.. [Criterio, X, Y], call (Menor), ordC ([Y|L], Criterio).
   • 4.8 Manipulacion de terminos
     • Existen operadores para el chequeo de tipos de términos, se pueden usar para manejo de errores, el predicado var/1 se satisface cuando su argumento es una variable no unificada.
   • 4.7 Control de busquedas en programas logicos
     • El predicado ! (leído corte) proporciona control sobre el mecanismo de backtracking de programación lógica: siempre tiene éxito pero tiene el efecto lateral de podar todas las elecciones alternativas en el nodo correspondiente en el árbol de búsqueda.
   • 4.6 Espacios de busquedas
     • Cuando se resuelve un problema, se busca la mejor solución entre un conjunto de posibles soluciones. Al conjunto de todas las posibles soluciones a un problema concreto se llama espacio de búsqueda.
   • 4.5 Programcion logica, numeros, listas y arboles
     • Numéricos En PROLOG los objetos numéricos pueden corresponder a tipos integer o float de C. Para realizar operaciones numéricas, se tiene el predicado is, que se comporta como una asignación en un lenguaje imperativo.
   • 4.4 Consulta de una base de clasulas
     • Las cláusulas contienen la especificación o implementación del conjunto de hechos y reglas que componen el programa. Se encabeza con la palabra CLAUSES Una cláusula puede ser: Un hecho: por ejemplo padre (Juan, maría). Una secuencia de cláusulas que definen un predicado se denomina procedimiento.
       • clausula1 Clausula2 ... clausulaN
   • 4.3 Representacion clausada del conocimiento
     • Comúnmente usado para referirse a representaciones pensadas para el procesamiento por ordenadores modernos, y en particular, para representaciones compuestas por objetos explícitos y de afirmaciones sobre ellos. Representar el conocimiento en una forma explícita a los ordenadores sacar conclusiones de conocimiento almacenado
       • CARACTERISTICAS • Los objetos y las relaciones importantes deben aparecer explícitamente y de forma conjunta • Las restricciones inherentes al problema se muestran pero no los detalles irrelevantes. • La representación debe ser transparente: se entiende lo que se dice.
   • 4.2 Semantica de los programas logicos
     • Del vocablo griego que puede traducirse como “significativo”. Se trata de aquello perteneciente o relativo a la significación de las palabras.
   • 4.1 Introudccion al mdelo de programacion logica
     • La programación lógica consiste en emplear la lógica como lenguaje de programación Datos = términos de primer orden Procedimiento = fórmulas bien formadas Ejecución = Deducción controlada y constructiva