Documentation du code

chainageAvantAvecVariables	Implementation d’un moteur d’inference avant avec filtrage ou unification
filtreur	Implementation de l’algorithme du pattern matching avec un filtrage simple.
unificateur	Implementation de l’algorithme du pattern matching

Modules de test

impots2
testChainage
testFaitSatisfaitUneCondition	Batterie de tests pour la fonction faitSatisfaitUneCondition()
testFiltrer	Tests pour la fonction filtrer()
testFiltreur
testInstantieVariables	Batterie de tests pour la fonction instantieVariables()
testPatternMatching	Tests pour la fonction de “pattern Matching” patternMatching()
testPatternMatching2	Batterie de tests pour l’unificateur
testSatisfaitConditions	Batterie de tests pour la fonction satisfaitConditions()
testSatisfaitUneCondition	Batterie de tests pour la fonction satisfaitUneCondition()
testSubstitueVariables	Tests de substitutions pour la fonction substitueVariables()
testSubstitueVariables2	Batterie de tests pour la fonction substitueVariables()
testUnifier	Batterie de tests pour l’unificateur
testUnificateur