Victor
Peux tu définir tes mots "Programmation logique" "prouveur" etc. tu dois être canadien parce que je ne vois pas "programmation" c'est toujours basé sur la logique? Non! Et "prouveur" je ne vois pas ce que tu veux dire, un test ?
Idem. Un petit effort de définition s'impose. Si tu as du mal, fais-nous un lien à des sites qui présentent ce sujet.
Cherche par exemple dans ces sites :
"prouver formel" :
http://www.google.fr/search?hl=fr&q=pro ... r&aq=f&oq=
"prouver automatique" : http://www.google.fr/search?hl=fr&newwi ... %7Clang_fr
"prouveur automatique robinson" : http://www.google.fr/search?hl=fr&newwi ... %7Clang_fr
ahhhh ! t'as déjà posé ta question ailleurs !
Je pense qu'il est question de ça : https://www.lama.univ-savoie.fr/~saber/calcul-pro.pdf (page 8)
c'est une technique à base de graphe pour vérifier la véracité d'affirmations logiques si j'ai bien compris
oui c ca ze venerable.
programmation logique: http://fr.wikipedia.org/wiki/Programmation_logique
prouveur: c'est ce que je veux realiser, en fait ca sera un pti programme qui utilise la méthode de resolution de Robinson (http://www.lama.univ-savoie.fr/~saber/calcul-pro.pdf (page 8) ) pour prouver des formules (des clauses en terme technique) données comme entrée.
je ne vois pas pourquoi je devais etre canadien!!
