prolog - Definición de cierre transitivo reflexivo
prolog - transitivas - Cómo expresar una relación transitiva
graph - Definición de un camino/sendero/caminata
prolog - Prólogo: eliminación de ciclos de relación indirecta - edu.lat
graph - Definir gráfico en Prolog: borde y camino, encontrando si hay un camino entre dos vértices -