- -

Listar por palabra clave "programación lógica"

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

Listar por palabra clave "programación lógica"

Ordenar por:Orden:Resultados:

  • 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
    Cláusulas y programas 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 la sintaxis básica de los programas lógicos, los cuales están compuestos por una serie de cláusulas.
  • 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 MGU en programación lógica 
    Vidal Oriola, Germán Francisco (Universitat Politècnica de València, 2018-07-03)
    En este vídeo se introduce un algoritmo para calcular el MGU (most general unifier) de dos expresiones. Se trata de un concepto clave para comprender la ejecución de un programa lógico.
  • thumb
    Términos en programación lógica 
    Vidal Oriola, Germán Francisco (Universitat Politècnica de València, 2018-06-19)
    En el vídeo se introducen los términos en el contexto de la programación lógica. Los términos se emplean para representar los "datos" en los programas lógicos, por lo que resulta esencial conocer su sintaxis y la forma en ...
  • thumb
    Unificación en programación lógica 
    Vidal Oriola, Germán Francisco (Universitat Politècnica de València, 2018-07-03)
    En este vídeo se introduce uno de los conceptos esenciales de la programación lógica, el concepto de unificación. El mecanismo de unificación se emplea como paso de parámetros bidireccional en la ejecución de los programas, ...