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 ...