Commit 81e66e24 authored by Martin Spoto's avatar Martin Spoto
Browse files

Add PV09

parent 9263c785
![Logo HEIAFR](../logo.png)
# PV de séance du 11.12, 09h00
Membres : Frédéric Bapst, Martin Spoto
Lieu : D20.21
## Résumé
Neuvième séance, discussion sur le travail réalisé et point sur l'état général du projet
## Arbre de preuves
- Fonctionnement semble à présent correct
- Petite erreur détectée dans l'ordre d'ajout des buts courants --> prévoir un test mettant en évidence le problème
- Adapter le fonctionnement pour permettre de récupérer plusieurs solutions
- Piste possible : retenir le chemin parcouru et le passer aux noeuds lors de la descente pour retourner directement là où l'on s'était arrêté
## Point sur l'état du projet
- Le projet se porte bien
- Décisions prises sur le travail qu'il reste à effectuer :
- Corriger les derniers bugs de l'arbre de preuves et permettre les résultats multiples
- Commenter les tests unitaires
- Ajouter au moins les prédicats intégrés "write" et "var" pour s'assurer de la faisibilité de la chose
- Pour les prédicats intégrés, faire attention de ne pas les réexécuter lors de la descente de l'arbre pour chercher d'autres solutions
- Regarder les possibilités de Truffle pour fournir un prédicat "java" permettant d'exécuter une méthode Java depuis Prolog
## Rapport
- Prévoir une annexe détaillant l'installation et le lancement du projet
- Ne pas oublier d'inclure les numéros de version des différentes dépendances
\ 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