20. PrologIntro

20. PrologIntro - Lenguajes de programacin Paradigma de la...

Info iconThis preview shows pages 1–5. Sign up to view the full content.

View Full Document Right Arrow Icon
1 Lenguajes de programación Paradigma de la programación LÓGICA Introducción al lenguaje PROLOG Programación lógica Perteneciente al grupo de los lenguajes declarativos. Planteamiento de la solución a un problema basado en un QUE y no en un COMO . Paradigma de mayor abstracción. Basado en el pensamiento lógico del ser humano (Lógica como área de estudio: Aristóteles, Boole). Formalmente basado en el cálculo de predicados de primer orden (CP1).
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
2 Características generales Programas no determinísticos. No se utilizan declaraciones de tipos de datos. Ambiente de traducción basado en interpretación. Modularización. Parámetros de entrada y/o salida pero sin distinción en su declaración. Características generales Abstracción de control basada en la Abstracción de control basada en la recursividad. Abstracción de datos basada en la estructura de la lista y en describir relaciones entre objetos. Internamente se generan estructuras Internamente, se generan estructuras jerárquicas de búsqueda. Automatización del proceso de búsqueda de soluciones -> Mayor abstracción, pero menor eficiencia.
Background image of page 2
3 Cálculo de predicados (lógica de primer orden) Mundo constituido por objetos . Los objetos poseen propiedades . Entre los objetos existen relaciones . Algunas relaciones son funciones Ejemplos y tipos de símbolos Objetos (constantes) carros, fábricas, Michael Jordan, … Relaciones (predicados) Unarias propiedades de objetos: color, forma, …) n-arias mayor que, entre, enseñar, … Funciones padre-de, suma, …
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
4 Sintaxis CP1 Predicado(Término OraciónAtómica Oración OraciónAtómica ( Oración ) ¬ Oración Oración Conectivo Oración Cuantificador Variable . .. Oración Predicado(Término . ...) Término = Término Término Función (Término . ..) Constant Variable Sintaxis CP1 Conectivo /\ \/ Cuantificador Constante A X 1 John Variable a x Función Madre PieIzqDe s Predicado Antes TieneColor Lloviendo
Background image of page 4
Image of page 5
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 05/12/2010 for the course ITC TC2006 taught by Professor Conant during the Spring '10 term at ITESM.

Page1 / 14

20. PrologIntro - Lenguajes de programacin Paradigma de la...

This preview shows document pages 1 - 5. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online