El mecanismo de resolución en los programas lógicos

Este video explica qué es el mecanismo de resolución en la programación lógica. Utiliza un ejemplo para resolver un ejercicio utilizando varias secuencias de pasos de resolución que construyen un árbol de resolución con dos ramas de fallo y una rama de éxito (en ese orden). También se propone un ejercicio para calcular un árbol de resolución con una rama de éxito y dos ramas de fallo (en ese orden). Silva Galiana, JF. (2024). El mecanismo de resolución en los programas lógicos. https://riunet.upv.es/handle/10251/204867 DER