Rubrique précédente: Test des formules de logique applicative

Rubrique suivante: Métriques des modules de logique applicative

Définitions des modules de logique applicative associés

Chaque module représente un calcul de logique applicative unique. De plus, chaque module et sa définition de paramètre peuvent être associés à toutes les métriques appropriées. Pendant la définition du module, il est essentiel de le tester et de le documenter en détail : ce qu'il fait (description du calcul), les paramètres attendus (nom, signification et utilisation), etc.