Commit f3ed938c authored by Martin Spoto's avatar Martin Spoto
Browse files

Add PV08

parent 81869e0d
![Logo HEIAFR](../logo.png)
# PV de séance du 04.12, 09h00
Membres : Frédéric Bapst, Martin Spoto
Lieu : D20.21
## Résumé
Huitième séance, discussion sur le fonctionnement de l'arbre de preuve
## Problèmes détectés
- La résolution de buts ne suit pas le fonctionnement de Prolog
- L'arbre de preuves n'est pas correct : il faut remplacer le premier but par son corps et donner ça plus loin, pas uniquement résoudre les sous-buts un par un
## Solution discutée
La solution retenue pour le problème de la résolution serait de changer la structure pour avoir dans chaque noeud de l'arbre de preuve la liste des goals à résoudre.
Le fonctionnement doit être le suivant :
- prendre le premier but et le remplacer par son corps, possiblement plusieurs si plusieurs règles peuvent s'appliquer
- si le but à une règle sans corps, alors on ne le remplace pas, on l'enlève
- pour chaque nouvelle liste de buts, créer un nouveau noeud et appeler sa méthode resolve
- la récursion s'arrête si un but n'est pas résolvable, ou si le noeud de l'arbre est vide.
## Autres
- Commenter les choix peu courants dans le code, comme par exemple la Map<Variable, Variable>
## Planning
- Dans les temps
\ No newline at end of file
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment