Présente deux paradigmes de calcul sous l'angle de la logique : la réduction, base de la programmation logique, est étudiée à travers le lambda-calcul; pour la résolution, ce sont la validité, la complétude, voire l'équité du calcul, qui importent.