Index

A

afficheFaits() (dans le module chainageAvantAvecVariables) afficheRegles() (dans le module chainageAvantAvecVariables)

ajouteFait() (dans le module chainageAvantAvecVariables) ajouteRegle() (dans le module chainageAvantAvecVariables)

C

chainageAvantAvecVariables (module) chainageAvantAvecVariables() (dans le module chainageAvantAvecVariables) conditionsRegle() (dans le module chainageAvantAvecVariables)

consequenceRegle() (dans le module chainageAvantAvecVariables) construitSubstitution() (dans le module filtreur) (dans le module unificateur)

F

faitSatisfaitUneCondition() (dans le module chainageAvantAvecVariables) filtrer() (dans le module filtreur)

filtreur (module)

I

impots() (dans le module impots2) impots2 (module)

initDBs() (dans le module chainageAvantAvecVariables) instantieVariables() (dans le module chainageAvantAvecVariables)

P

patternMatching() (dans le module filtreur) (dans le module unificateur)

R

retourneValeur() (dans le module filtreur) (dans le module unificateur)

retourneVariable() (dans le module filtreur) (dans le module unificateur)

S

satisfaitConditions() (dans le module chainageAvantAvecVariables) satisfaitUneCondition() (dans le module chainageAvantAvecVariables)

substitueVariables() (dans le module filtreur) (dans le module unificateur)

T

testChainage (module) testeAtome() (dans le module filtreur) (dans le module unificateur) testeSubstitution() (dans le module filtreur) (dans le module unificateur) testeVariable() (dans le module filtreur) (dans le module unificateur) testFaitSatisfaitUneCondition (module) testFaitSatisfaitUneCondition() (dans le module testFaitSatisfaitUneCondition) testFiltrer (module) testFiltrer() (dans le module testFiltrer) testFiltreur (module) testInstantieVariables (module) testInstantieVariables() (dans le module testInstantieVariables) testPatternMatching (module) testPatternMatching() (dans le module testPatternMatching) testPatternMatching2 (module)

testPatternMatching2() (dans le module testPatternMatching2) testSatisfaitConditions (module) testSatisfaitConditions() (dans le module testSatisfaitConditions) testSatisfaitUneCondition (module) testSatisfaitUneCondition() (dans le module testSatisfaitUneCondition) testSubstitueVariables (module) testSubstitueVariables() (dans le module testSubstitueVariables) testSubstitueVariables2 (module) testSubstitueVariables2() (dans le module testSubstitueVariables2) testUnificateur (module) testUnifier (module) testUnifier() (dans le module testUnifier) trouveSubstitution() (dans le module filtreur) (dans le module unificateur)

U

unificateur (module) unifier() (dans le module unificateur)

unionSubstitutions() (dans le module filtreur) (dans le module unificateur)