Zusammenfassung der Ressource
Programacion Logica y funcional
- 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