Développement d'un algorithme de résolution en prolog
karimaaou
Messages postés
3
Date d'inscription
Statut
Membre
Dernière intervention
-
karimaaou Messages postés 3 Date d'inscription Statut Membre Dernière intervention -
karimaaou Messages postés 3 Date d'inscription Statut Membre Dernière intervention -
Bonjour,
Je suis débutant en prolog et je ne connu pas vraiment comment faire l algorithme de résolution(Le principe de résolution est une méthode automatique pour montrer la validité d'une formule) suivant en prolog
début
écrire la négation de F
tq la liste vide est n'est pas rencontrée et qu'il existe de paires réductible faire
début
chercher des clauses resolvante;
ajouter ce resultat à la liste des clause ;
fin tq.
si on trouve la liste vide alors F est valide
sinon F invalide.
fin si
FIN.
aide moi SVP,
et merci d'avance
Je suis débutant en prolog et je ne connu pas vraiment comment faire l algorithme de résolution(Le principe de résolution est une méthode automatique pour montrer la validité d'une formule) suivant en prolog
début
écrire la négation de F
tq la liste vide est n'est pas rencontrée et qu'il existe de paires réductible faire
début
chercher des clauses resolvante;
ajouter ce resultat à la liste des clause ;
fin tq.
si on trouve la liste vide alors F est valide
sinon F invalide.
fin si
FIN.
aide moi SVP,
et merci d'avance
A voir également:
- Développement d'un algorithme de résolution en prolog
- Ecrire un algorithme qui permet de resoudre ax²+bx+c=0 pdf - Forum Algorithmes / Méthodes
- Logiciel algorithme euromillion - Télécharger - Loisirs créatifs
- Réduire résolution image - Guide
- Cette resolution n'est pas prise en charge par cette tv modifiez la ✓ - Forum Format et connectique vidéo
- Impossible de charger l'image haute résolution messenger ✓ - Forum Mail
