Teoria lenguaje prolog

Solo disponible en BuenasTareas
  • Páginas : 60 (14950 palabras )
  • Descarga(s) : 0
  • Publicado : 16 de marzo de 2011
Leer documento completo
Vista previa del texto
Pa ra d i gm a s d e Progra m a ci ón
Pr o gr amació n L ó gica

Compendio sobre bibliogr afías var ias Coor dinador a: Profesor a Mir ta Pérez Alumnos: Alejandro Acquesta Florencia Br yant Diego Fer nández César D’Onofr io J unio de 1997 Revisado por Fer nando Dodino Febrero de 2000

Revisado por Ana Laur a Angelini / Fer nando Dodino Febrero de 2003

Apunte de Paradigma LógicoParadigmas de Programación

ÍNDICE
INTRODUCCIÓN ----------------------------------------------------------------------------------------------------- 3 PARADIGMA LÓGICO--------------------------------------------------------------------------------------------- 4 PROYECTOS DESARROLLADOS COMERCIALMENTE (SÓLO ALGUNOS EJEMPLOS) -------------------------------6 • Internacionales----------------------------------------------------------------------------------------- 6 • En Argentina --------------------------------------------------------------------------------------------- 6 ESTRUCTURAS BÁSICAS ---------------------------------------------------------------------------------------------------7 Hechos----------------------------------------------------------------------------------------------------------- 7 Consultas-------------------------------------------------------------------------------------------------------- 7 Variables lógicas, sustituciones e instancias. ------------------------------------------------------- 7 Consultas existenciales------------------------------------------------------------------------------------- 8 Hechos universales------------------------------------------------------------------------------------------ 8 Reglas ------------------------------------------------------------------------------------------------------------ 8 EL EDITOR PROLOG ------------------------------------------------------------------------------------------------------8 LA PROGRAMACIÓN PROLOG:----------------------------------------------------------------------------------------9 Secciones de un programa Prolog -------------------------------------------------------------------- 9 Principio de Funcionamiento --------------------------------------------------------------------------- 10 Las variables en Prolog ------------------------------------------------------------------------------------ 12 Particularidades del lenguajeProlog ---------------------------------------------------------------- 12 ÁRBOL DE OBJETIVOS-------------------------------------------------------------------------------------------------- 13 ¿QUÉ UTILIDADES TIENE EL CUT? ------------------------------------------------------------------------------------ 16

PROGRAMALÓGICO---------------------------------------------------------------------------------------------- 7

BACKTRACKING: “VOLVER ATRÁS Y PROBAR DE NUEVO” -------------------------------------------- 13 PREDICADO CUT ( ! ) ---------------------------------------------------------------------------------------------- 16 PREDICADO FAIL --------------------------------------------------------------------------------------------------- 19 USO DE CUT SEGUIDO DE FAIL--------------------------------------------------------------------------------- 20 RECURSIVIDAD------------------------------------------------------------------------------------------------------ 22 ENTENDIENDO POR DENTRO A PROLOG -------------------------------------------------------------------------- 23 OTROS PROBLEMASRECURSIVOS------------------------------------------------------------------------------------- 25 OTRA VISIÓN DE RECURSIVIDAD EN PROLOG: --------------------------------------------------------------------- 28 USO DE LISTAS ----------------------------------------------------------------------------------------------------------- 29 Otros ejercicios con listas--------------------------------------------------------------------------------- 30 Sumando...
tracking img