Conceptos esenciales de PROLOG el agosto 17, 2025 backtracking declarativa hechos lógica paradigma prolog recursión reglas +