SlideShare une entreprise Scribd logo

Jflambert lyada -ayudantia 1 prolog

•
•
Francisco Lambert Obediente
Francisco Lambert Obediente

Ayudantia 1 Logica y Analisis de Algoritmos - Introduccion a la programacion logica en PROLOG

Formation
1  sur  21
Prolog : Programming in Logic Logica y Analisis de Algoritmos Francisco Lambert 2010-1
[object Object],[object Object],[object Object]
CLAUSULAS DE HORN ,[object Object],[object Object],[object Object],[object Object]
MODUS PONENS ,[object Object],[object Object],[object Object],[object Object]
Comenzando.... Instalacion ,[object Object],[object Object],[object Object]
Interfaz ,[object Object],[object Object],[object Object]
Sintaxis ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Hechos ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Relaciones ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Reglas
Conjuncion ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Conjuncion Disyuncion
Consultas ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
[object Object],[object Object],[object Object],[object Object]
Ejemplo ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Ejemplo
BACKTRACKING ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
BACKTRACKING ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
BACKTRACKING ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
OPERADORES
FUNCIONES
EJERCICIO ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
EJERCICIO %patos% %Francisco Lambert Espinoza% %Logica y Analisis de Algoritmos% %24-03-2010% esPato(lucas). esPato(donald). esPato(gilito). esPato(S):-sobrino(S,T),esPato(T). esPato(P) :- tienePlumas(P),haceCuac(P). sobrino(jorgito,donald). sobrino(jaimito,donald). sobrino(juanito,donald). tienePlumas(piolin). tienePlumas(daisy). haceCuac(daisy).
.- ,[object Object]

Recommandé

Python
PythonPython
Python
SistemadeEstudiosMed
 
Estructuras De Control Prolog
Estructuras De Control PrologEstructuras De Control Prolog
Estructuras De Control Prolog
guest4046188
 
Python conventions
Python conventionsPython conventions
Python conventions
Patricia Valdez
 
Scjp Jug Section 2 Flow Control
Scjp Jug Section 2 Flow ControlScjp Jug Section 2 Flow Control
Scjp Jug Section 2 Flow Control
Jose Selman
 
la instrucción if , Leer cadenas, caracteres
la instrucción if , Leer cadenas, caracteres la instrucción if , Leer cadenas, caracteres
la instrucción if , Leer cadenas, caracteres
Gilberto Sánchez Cervantes
 
Palindromos
PalindromosPalindromos
Palindromos
Daniela Aguilar
 
01 el lenguaje Python
01 el lenguaje Python01 el lenguaje Python
01 el lenguaje Python
Juan Rodríguez
 
ESTRUCTURAS REPETITIVAS
ESTRUCTURAS REPETITIVASESTRUCTURAS REPETITIVAS
ESTRUCTURAS REPETITIVAS
Duvan Dominguez
 

Recommandé

Python
PythonPython
Python
SistemadeEstudiosMed
 
Estructuras De Control Prolog
Estructuras De Control PrologEstructuras De Control Prolog
Estructuras De Control Prolog
guest4046188
 
Python conventions
Python conventionsPython conventions
Python conventions
Patricia Valdez
 
Scjp Jug Section 2 Flow Control
Scjp Jug Section 2 Flow ControlScjp Jug Section 2 Flow Control
Scjp Jug Section 2 Flow Control
Jose Selman
 
la instrucción if , Leer cadenas, caracteres
la instrucción if , Leer cadenas, caracteres la instrucción if , Leer cadenas, caracteres
la instrucción if , Leer cadenas, caracteres
Gilberto Sánchez Cervantes
 
Palindromos
PalindromosPalindromos
Palindromos
Daniela Aguilar
 
01 el lenguaje Python
01 el lenguaje Python01 el lenguaje Python
01 el lenguaje Python
Juan Rodríguez
 
ESTRUCTURAS REPETITIVAS
ESTRUCTURAS REPETITIVASESTRUCTURAS REPETITIVAS
ESTRUCTURAS REPETITIVAS
Duvan Dominguez
 
Practica2
Practica2Practica2
Practica2
carlos
 
Palindromos
PalindromosPalindromos
Palindromos
David Del Angel Rodriguez
 
4to Examen PII UNEFA
4to Examen PII UNEFA4to Examen PII UNEFA
4to Examen PII UNEFA
Javier Rivera
 
De Cero A Python En 45 Min
De Cero A Python En 45 MinDe Cero A Python En 45 Min
De Cero A Python En 45 Min
Marco Mansilla
 
Estructuras de-control
Estructuras de-controlEstructuras de-control
Estructuras de-control
Group Lliuya
 
Estructuras de control en PHP
Estructuras de control en PHPEstructuras de control en PHP
Estructuras de control en PHP
upresentaciones
 
Tema 3 sentencias de control de java por gio
Tema 3 sentencias de control de java por gioTema 3 sentencias de control de java por gio
Tema 3 sentencias de control de java por gio
Robert Wolf
 
Pseudocódigo
PseudocódigoPseudocódigo
Pseudocódigo
Info2CB25Buhos
 
Chuleta de lenguaje C para principiantes
Chuleta de lenguaje C para principiantesChuleta de lenguaje C para principiantes
Chuleta de lenguaje C para principiantes
Abrirllave
 
Fpr Tema 5 www.fresymetal.com
Fpr Tema 5 www.fresymetal.comFpr Tema 5 www.fresymetal.com
Fpr Tema 5 www.fresymetal.com
FresyMetal
 
Repaso c
Repaso cRepaso c
Repaso c
chedgar350
 
Sentencia Condicional
Sentencia CondicionalSentencia Condicional
Sentencia Condicional
ciberosv
 
41 Php. Bucles For
41 Php. Bucles For41 Php. Bucles For
41 Php. Bucles For
José M. Padilla
 
Estructuras repetitivas
Estructuras repetitivasEstructuras repetitivas
Estructuras repetitivas
wladimirclipper
 
Lenguaje c
Lenguaje cLenguaje c
Lenguaje c
maribelduran
 
Semana 2 Fundamentos de Python(Entradas, Salidas y Operaciones Aritméticas)
Semana 2 Fundamentos de Python(Entradas, Salidas y Operaciones Aritméticas)Semana 2 Fundamentos de Python(Entradas, Salidas y Operaciones Aritméticas)
Semana 2 Fundamentos de Python(Entradas, Salidas y Operaciones Aritméticas)
Richard Eliseo Mendoza Gafaro
 
Tutorial de php
Tutorial de phpTutorial de php
Tutorial de php
Robert Rodriguez
 
Utp pti_s4_instrucciones de control
Utp pti_s4_instrucciones de control Utp pti_s4_instrucciones de control
Utp pti_s4_instrucciones de control
jcbenitezp
 
Utp pti_s4_instrucciones de control 2012-2
Utp pti_s4_instrucciones de control 2012-2 Utp pti_s4_instrucciones de control 2012-2
Utp pti_s4_instrucciones de control 2012-2
jcbenitezp
 
Prolog2010
Prolog2010Prolog2010
Prolog2010
Leonardo Bernal Zamora: Docente, Internauta y convencido de la educación para todos
 
Tutoriales de prolog
Tutoriales de prologTutoriales de prolog
Tutoriales de prolog
Miguel Méndez
 
Apuntes De PROGRAMACI N EN PROLOG
Apuntes De PROGRAMACI N EN PROLOGApuntes De PROGRAMACI N EN PROLOG
Apuntes De PROGRAMACI N EN PROLOG
Tony Lisko
 

Contenu connexe

Tendances

Practica2
Practica2Practica2
Practica2
carlos
 
4to Examen PII UNEFA
4to Examen PII UNEFA4to Examen PII UNEFA
4to Examen PII UNEFA
Javier Rivera
 
Tema 3 sentencias de control de java por gio
Tema 3 sentencias de control de java por gioTema 3 sentencias de control de java por gio
Tema 3 sentencias de control de java por gio
Robert Wolf
 
Utp pti_s4_instrucciones de control
Utp pti_s4_instrucciones de control Utp pti_s4_instrucciones de control
Utp pti_s4_instrucciones de control
jcbenitezp
 
Utp pti_s4_instrucciones de control 2012-2
Utp pti_s4_instrucciones de control 2012-2 Utp pti_s4_instrucciones de control 2012-2
Utp pti_s4_instrucciones de control 2012-2
jcbenitezp
 

Tendances (19)

Practica2
Practica2Practica2
Practica2
 
Palindromos
PalindromosPalindromos
Palindromos
 
4to Examen PII UNEFA
4to Examen PII UNEFA4to Examen PII UNEFA
4to Examen PII UNEFA
 
De Cero A Python En 45 Min
De Cero A Python En 45 MinDe Cero A Python En 45 Min
De Cero A Python En 45 Min
 
Estructuras de-control
Estructuras de-controlEstructuras de-control
Estructuras de-control
 
Estructuras de control en PHP
Estructuras de control en PHPEstructuras de control en PHP
Estructuras de control en PHP
 
Tema 3 sentencias de control de java por gio
Tema 3 sentencias de control de java por gioTema 3 sentencias de control de java por gio
Tema 3 sentencias de control de java por gio
 
Pseudocódigo
PseudocódigoPseudocódigo
Pseudocódigo
 
Chuleta de lenguaje C para principiantes
Chuleta de lenguaje C para principiantesChuleta de lenguaje C para principiantes
Chuleta de lenguaje C para principiantes
 
Fpr Tema 5 www.fresymetal.com
Fpr Tema 5 www.fresymetal.comFpr Tema 5 www.fresymetal.com
Fpr Tema 5 www.fresymetal.com
 
Repaso c
Repaso cRepaso c
Repaso c
 
Sentencia Condicional
Sentencia CondicionalSentencia Condicional
Sentencia Condicional
 
41 Php. Bucles For
41 Php. Bucles For41 Php. Bucles For
41 Php. Bucles For
 
Estructuras repetitivas
Estructuras repetitivasEstructuras repetitivas
Estructuras repetitivas
 
Lenguaje c
Lenguaje cLenguaje c
Lenguaje c
 
Semana 2 Fundamentos de Python(Entradas, Salidas y Operaciones Aritméticas)
Semana 2 Fundamentos de Python(Entradas, Salidas y Operaciones Aritméticas)Semana 2 Fundamentos de Python(Entradas, Salidas y Operaciones Aritméticas)
Semana 2 Fundamentos de Python(Entradas, Salidas y Operaciones Aritméticas)
 
Tutorial de php
Tutorial de phpTutorial de php
Tutorial de php
 
Utp pti_s4_instrucciones de control
Utp pti_s4_instrucciones de control Utp pti_s4_instrucciones de control
Utp pti_s4_instrucciones de control
 
Utp pti_s4_instrucciones de control 2012-2
Utp pti_s4_instrucciones de control 2012-2 Utp pti_s4_instrucciones de control 2012-2
Utp pti_s4_instrucciones de control 2012-2
 

Similaire à Jflambert lyada -ayudantia 1 prolog

4ta tarea de sistemas expertos
4ta tarea de sistemas expertos4ta tarea de sistemas expertos
4ta tarea de sistemas expertos
ynina
 
4ta tarea de sistemas expertos
4ta tarea de sistemas expertos4ta tarea de sistemas expertos
4ta tarea de sistemas expertos
medinayanina
 
Guia de estructuras Condicionales
Guia de estructuras CondicionalesGuia de estructuras Condicionales
Guia de estructuras Condicionales
laryenso
 
Hack x crack_batch2
Hack x crack_batch2Hack x crack_batch2
Hack x crack_batch2
Pablo Arce
 
How to Think Like a Computer Scientist
How to Think Like a Computer ScientistHow to Think Like a Computer Scientist
How to Think Like a Computer Scientist
joanem28
 

Similaire à Jflambert lyada -ayudantia 1 prolog (20)

Prolog2010
Prolog2010Prolog2010
Prolog2010
 
Tutoriales de prolog
Tutoriales de prologTutoriales de prolog
Tutoriales de prolog
 
Apuntes De PROGRAMACI N EN PROLOG
Apuntes De PROGRAMACI N EN PROLOGApuntes De PROGRAMACI N EN PROLOG
Apuntes De PROGRAMACI N EN PROLOG
 
4ta tarea de sistemas expertos
4ta tarea de sistemas expertos4ta tarea de sistemas expertos
4ta tarea de sistemas expertos
 
4ta tarea de sistemas expertos
4ta tarea de sistemas expertos4ta tarea de sistemas expertos
4ta tarea de sistemas expertos
 
Prolog
Prolog Prolog
Prolog
 
Guia de estructuras Condicionales
Guia de estructuras CondicionalesGuia de estructuras Condicionales
Guia de estructuras Condicionales
 
Taller completo
Taller completoTaller completo
Taller completo
 
Clase de logica posbc
Clase de logica posbcClase de logica posbc
Clase de logica posbc
 
Introduccion a prolog
Introduccion a prologIntroduccion a prolog
Introduccion a prolog
 
Shell script
Shell scriptShell script
Shell script
 
Actividad Obligatoria N°1 - Intro. a la Informática
Actividad Obligatoria N°1 - Intro. a la InformáticaActividad Obligatoria N°1 - Intro. a la Informática
Actividad Obligatoria N°1 - Intro. a la Informática
 
Desarrollar un módulo para Visuse
Desarrollar un módulo para VisuseDesarrollar un módulo para Visuse
Desarrollar un módulo para Visuse
 
Hack x crack_batch2
Hack x crack_batch2Hack x crack_batch2
Hack x crack_batch2
 
JERARQUÍA de operaciones
JERARQUÍA de operaciones JERARQUÍA de operaciones
JERARQUÍA de operaciones
 
Programación orientada a objetos
Programación orientada a objetosProgramación orientada a objetos
Programación orientada a objetos
 
Encriptacion y crackmes_en_batch_desde_0_by_xassiz
Encriptacion y crackmes_en_batch_desde_0_by_xassizEncriptacion y crackmes_en_batch_desde_0_by_xassiz
Encriptacion y crackmes_en_batch_desde_0_by_xassiz
 
How to Think Like a Computer Scientist
How to Think Like a Computer ScientistHow to Think Like a Computer Scientist
How to Think Like a Computer Scientist
 
Introducción
IntroducciónIntroducción
Introducción
 
Comandos de Java
Comandos de JavaComandos de Java
Comandos de Java
 

Dernier

📝 Semana 09 - Tema 01: Tarea - Redacción del texto argumentativo
📝 Semana 09 - Tema 01: Tarea - Redacción del texto argumentativo📝 Semana 09 - Tema 01: Tarea - Redacción del texto argumentativo
📝 Semana 09 - Tema 01: Tarea - Redacción del texto argumentativo
harolbustamante1
 
Presentación de medicina Enfermedades Fotográfico Moderno Morado (1).pdf
Presentación de medicina Enfermedades Fotográfico Moderno Morado (1).pdfPresentación de medicina Enfermedades Fotográfico Moderno Morado (1).pdf
Presentación de medicina Enfermedades Fotográfico Moderno Morado (1).pdf
juancmendez1405
 

Dernier (20)

PLAN DE MONITOREO Y ACOMAPÑAMIENTO DOCENTE
PLAN DE MONITOREO Y ACOMAPÑAMIENTO DOCENTEPLAN DE MONITOREO Y ACOMAPÑAMIENTO DOCENTE
PLAN DE MONITOREO Y ACOMAPÑAMIENTO DOCENTE
 
📝 Semana 09 - Tema 01: Tarea - Redacción del texto argumentativo
📝 Semana 09 - Tema 01: Tarea - Redacción del texto argumentativo📝 Semana 09 - Tema 01: Tarea - Redacción del texto argumentativo
📝 Semana 09 - Tema 01: Tarea - Redacción del texto argumentativo
 
Presentación Pedagoía medieval para exposición en clases
Presentación Pedagoía medieval para exposición en clasesPresentación Pedagoía medieval para exposición en clases
Presentación Pedagoía medieval para exposición en clases
 
Presentación de medicina Enfermedades Fotográfico Moderno Morado (1).pdf
Presentación de medicina Enfermedades Fotográfico Moderno Morado (1).pdfPresentación de medicina Enfermedades Fotográfico Moderno Morado (1).pdf
Presentación de medicina Enfermedades Fotográfico Moderno Morado (1).pdf
 
Sesión de clase: Luz desde el santuario.pdf
Sesión de clase: Luz desde el santuario.pdfSesión de clase: Luz desde el santuario.pdf
Sesión de clase: Luz desde el santuario.pdf
 
Comunidades Virtuales de Aprendizaje Caracteristicas.pptx
Comunidades Virtuales de Aprendizaje Caracteristicas.pptxComunidades Virtuales de Aprendizaje Caracteristicas.pptx
Comunidades Virtuales de Aprendizaje Caracteristicas.pptx
 
Creación WEB. Ideas clave para crear un sitio web
Creación WEB. Ideas clave para crear un sitio webCreación WEB. Ideas clave para crear un sitio web
Creación WEB. Ideas clave para crear un sitio web
 
Poemas de Beatriz Giménez de Ory_trabajos de 6º
Poemas de Beatriz Giménez de Ory_trabajos de 6ºPoemas de Beatriz Giménez de Ory_trabajos de 6º
Poemas de Beatriz Giménez de Ory_trabajos de 6º
 
ESTEREOTIPOS DE GÉNERO A LAS PERSONAS? (Grupo)
ESTEREOTIPOS DE GÉNERO A LAS PERSONAS? (Grupo)ESTEREOTIPOS DE GÉNERO A LAS PERSONAS? (Grupo)
ESTEREOTIPOS DE GÉNERO A LAS PERSONAS? (Grupo)
 
Diagnostico del corregimiento de Junin del municipio de Barbacoas
Diagnostico del corregimiento de Junin del municipio de BarbacoasDiagnostico del corregimiento de Junin del municipio de Barbacoas
Diagnostico del corregimiento de Junin del municipio de Barbacoas
 
BIENESTAR TOTAL - LA EXPERIENCIA DEL CLIENTE CON ATR
BIENESTAR TOTAL - LA EXPERIENCIA DEL CLIENTE CON ATRBIENESTAR TOTAL - LA EXPERIENCIA DEL CLIENTE CON ATR
BIENESTAR TOTAL - LA EXPERIENCIA DEL CLIENTE CON ATR
 
Evaluación de los Factores Internos de la Organización
Evaluación de los Factores Internos de la OrganizaciónEvaluación de los Factores Internos de la Organización
Evaluación de los Factores Internos de la Organización
 
proyecto semana de los Jardines, actividades a realizar para resaltar esta fecha
proyecto semana de los Jardines, actividades a realizar para resaltar esta fechaproyecto semana de los Jardines, actividades a realizar para resaltar esta fecha
proyecto semana de los Jardines, actividades a realizar para resaltar esta fecha
 
Vínculo afectivo (labor expositivo de grupo )
Vínculo afectivo (labor expositivo de grupo )Vínculo afectivo (labor expositivo de grupo )
Vínculo afectivo (labor expositivo de grupo )
 
Lección 1: Los complementos del Verbo ...
Lección 1: Los complementos del Verbo ...Lección 1: Los complementos del Verbo ...
Lección 1: Los complementos del Verbo ...
 
PROBLEMAS DE GENÉTICA CON ÁRBOLES GENEALÓGICOS.pdf
PROBLEMAS DE GENÉTICA CON ÁRBOLES GENEALÓGICOS.pdfPROBLEMAS DE GENÉTICA CON ÁRBOLES GENEALÓGICOS.pdf
PROBLEMAS DE GENÉTICA CON ÁRBOLES GENEALÓGICOS.pdf
 
LA ILIADA Y LA ODISEA.LITERATURA UNIVERSAL
LA ILIADA Y LA ODISEA.LITERATURA UNIVERSALLA ILIADA Y LA ODISEA.LITERATURA UNIVERSAL
LA ILIADA Y LA ODISEA.LITERATURA UNIVERSAL
 
Luz desde el santuario. Escuela Sabática
Luz desde el santuario. Escuela SabáticaLuz desde el santuario. Escuela Sabática
Luz desde el santuario. Escuela Sabática
 
Como construir los vínculos afectivos (Grupal)
Como construir los vínculos afectivos (Grupal)Como construir los vínculos afectivos (Grupal)
Como construir los vínculos afectivos (Grupal)
 
Presentación Revistas y Periódicos Digitales
Presentación Revistas y Periódicos DigitalesPresentación Revistas y Periódicos Digitales
Presentación Revistas y Periódicos Digitales
 

Jflambert lyada -ayudantia 1 prolog

  • 1. Prolog : Programming in Logic Logica y Analisis de Algoritmos Francisco Lambert 2010-1
  • 2.
  • 3.
  • 4.
  • 5.
  • 6.
  • 7.
  • 8.
  • 9.
  • 10.
  • 11.
  • 12.
  • 13.
  • 14.
  • 15.
  • 16.
  • 19.
  • 20. EJERCICIO %patos% %Francisco Lambert Espinoza% %Logica y Analisis de Algoritmos% %24-03-2010% esPato(lucas). esPato(donald). esPato(gilito). esPato(S):-sobrino(S,T),esPato(T). esPato(P) :- tienePlumas(P),haceCuac(P). sobrino(jorgito,donald). sobrino(jaimito,donald). sobrino(juanito,donald). tienePlumas(piolin). tienePlumas(daisy). haceCuac(daisy).
  • 21.