Programación Lógica
INSTITUTO TECNOLÓGICO DE TOLUCA
INGENIERÍA EN SISTEMAS COMPUTACIONALES
PROGRAMACIÓN LÓGICA Y FUNCIONAL
PROGRAMACIÓN LÓGICA: La programación lógica gira en torno al concepto depredicado, o relación entre elementos. La programación funcional se basa en el concepto de función (que no es más que una evolución de los predicados), de corte más matemático. Un programa en elparadigma lógico consiste en un conjunto de predicados que hablan, expresan las características y relaciones de un conjunto de individuos. • • Los predicados pueden definirse en base a hechos o reglas. Unpredicado puede combinar muchos hechos y reglas simultáneamente en su definición.
En este momento estamos en condiciones de ver las tres componentes de un programa declarativo que habíamosmencionado anteriormente: • El conocimiento está conformado por el conjunto de predicados. • El objetivo viene dado por cualquiera de las formas de consulta que acabamos de definir Y lenguaje Prolog nosproveerá del motor que será capaz de determinar si nuestra consulta es verdadera o falsa (o el conjunto de valores que la hacen verdadera), valiéndose de los predicados. Contenidos teóricos: • • • • • •Predicados e individuos. Hechos y reglas Aridad. Semántica de los predicados monádicos y poliádicos. Principio de universo cerrado. Diferentes tipos de consulta: individuales, variables, existenciales.Conjunción y disyunción.
Logic Programming: Construye base de conocimientos mediante reglas y hechos. • Regla (rule): implicación o inferencia lógica que deduce nuevo conocimiento. • Hecho (fact):declaración, claúsula o proposición cierta o falsa, e.g. hora(5pm) equivale a una regla vacía sin premisas cuya conclusión siempre es cierta, i.e. hora(5pm) :- true. • Consulta (query): Se especificael problema, la proposición a demostrar o el objetivo.
PROLOG Prolog: es un lenguaje de programación primordialmente enfocado al procesamiento no-numérico, lógico, simbólico. LÓGIC A DE PREDIC...
Regístrate para leer el documento completo.