· OBJETIVOS DE LA UT IV. PARADIGMA DE PROGRAMACIÓN FUNCIONAL ... Conceptos de: teoria....
6
· OBJETIVOS DE LA UT IV. PARADIGMA DE PROGRAMACIÓN FUNCIONAL ... Conceptos de: teoria. consecuencia lógica y programa. Regla de inferencia: RESOLUCION. Unificación. Unificador