Victor a écrit :Excuse-moi! Pas grave!

c rien victor, aucun probleme..
on est la pour s'aider les uns les autres

Ze Venerable a écrit :tu vas utiliser un langage objet je pense ?

euh! oui bien sure.. j'utiliserai Java (je suis vraiment debutant là)..

oui c ca ze venerable. programmation logique: m prouveur: c'est ce que je veux realiser, en fait ca sera un pti programme qui utilise la méthode de resolution de Robinson (m (page 8) ) pour prouver des formules (des clauses en terme technique) données comme entrée. je ne vois pas pourquoi je devais ...

bonjour tt l monde
alors concernant la programmation logique, je veux réaliser un prouveur automatique en utilisant la methode de résolution de Robinson.
si quelqu'un veut m'aider, merci