Développement d'un algorithme de résolution en prolog
karimaaou
Messages postés
4
Statut
Membre
-
karimaaou Messages postés 4 Statut Membre -
karimaaou Messages postés 4 Statut Membre -
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
- Logiciel algorithme euromillion - Télécharger - Loisirs créatifs
- Réduire résolution image - Guide
- Ecrire un algorithme qui permet de resoudre ax²+bx+c=0 pdf - Forum Algorithmes / Méthodes
- Résolution native ✓ - Forum Ecran
- Resolution changer pc - Télécharger - Divers Utilitaires
