- -

Listar por palabra clave "Prolog"

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Listar por palabra clave "Prolog"

Ordenar por:Orden:Resultados:

  • thumb
    Análisis semántico y transformación de programas lógico-funcionales 
    Vidal Oriola, Germán Francisco (Universitat Politècnica de València, 2015-10-08)
    El problema de la integraci on de la programaci on l ogica y funcional est a considerado como uno de los m as importantes en el area de investigaci on sobre programaci on declarativa. Para que los lenguajes declarativos ...
  • thumb
    Árboles SLD en programación lógica 
    Vidal Oriola, Germán Francisco (Universitat Politècnica de València, 2018-06-19)
    En este vídeo se introduce el concepto de árbol SLD en el contexto de la programación lógica. Dado un programa lógico y un objetivo, su ejecución consiste en construir el árbol SLD asociado empleando una cierta estrategia ...
  • thumb
    Desarrollo de un depurador reversible para programas Prolog 
    Fructuoso Chofré, Vicente (Universitat Politècnica de València, 2021-10-05)
    [ES] Este TFG presenta la realización de un depurador reversible de Prolog que permitirá a los usuarios la carga y visualización de los distintos estados por los que pasa el programa para la obtención de una solución ...
  • thumb
    Desarrollo de un tutorial interactivo para el aprendizaje de Prolog 
    García Muñoz, Carlos (Universitat Politècnica de València, 2024-07-30)
    [ES] Este proyecto pretende ayudar a aquellas personas que se adentran por primera vez en la programación lógica, ofreciéndoles una introducción paso a paso, ejemplos claros y prácticos, y un entorno amigable para aprender ...
  • thumb
    Desarrollo de una interfaz web para la depuración de programas Prolog 
    Martín Morant, Jorge (Universitat Politècnica de València, 2021-10-04)
    [ES] Este proyecto consiste en el desarrollo de una interfaz web para el programa Rever, el cual permite la depuración reversible de código Prolog. Dicha interfaz, permitirá al usuario el uso del programa Rever sin necesidad ...
  • thumb
    Diseño e implementación de una herramienta para determinar la cobertura de las pruebas en Prolog 
    Santamarina Puertas, Daniel (Universitat Politècnica de València, 2023-10-03)
    [ES] Este Trabajo Fin de Grado aborda el diseño e implementación de una herramienta para medir la cobertura de las consultas realizadas en un programa Prolog. A diferencia de las herramienta existentes, este trabajo aporta ...
  • Icon
    Diseño e implementación de una herramienta para visualizar la ejecución de un programa Prolog 
    Talens Ferrer, Pascual José (Universitat Politècnica de València, 2022-09-15)
    [ES] El presente documento presenta el desarrollo de una interfaz Java que, junto con un intérprete Prolog integrado, permite visualizar una explicación de la ejecución de este tipo de programas lógicos. Para utilizar ...
  • thumb
    El concepto de resolución en programación lógica 
    Vidal Oriola, Germán Francisco (Universitat Politècnica de València, 2018-06-19)
    En este vídeo se introduce el concepto de resolución en el contexto de la programación lógica. El mecanismo de resolución constituye la base sobre la que se sustenta la ejecución de los programas lógicos, y es necesario ...
  • thumb
    El paradigma de programación lógico 
    Silva Galiana, Josep Francesc (Universitat Politècnica de València, 2019-06-25)
    Este objeto de aprendizaje da una introducción al paradigma de programación lógica. Explica las características principales de ese paradigma y da un ejemplo de programa lógico usando la sintaxis de Prolog. También muestra ...