Paradigma Lógico René Mac Kinney Romero. ¿ Qué es ? Programas basados en relaciones. El cálculo se realiza por medio de la deducción. El alfabeto es el.