Access Control is now enabled for Gitlab Pages so you can now restrict Pages to authorized users only. If needed, make your website publicly available : Navigate to your project's Settings > General > Visibility and select Everyone in pages section.

Commit a4a9c7cf authored by Tony Licata's avatar Tony Licata

added PV03

parent 46a81475
![Logo HEIAFR](logo.png)
# PV de séance du 27.05, 08h30
Membres : Frédéric Bapst, Tony Licata
Lieu : domicile
## Ordre du jour
- validation du précédant PV
- validation de la version finale du cahier des charges (avec planning)
- discussion sur la réunion avec l'expert
- mise au points sur les objectifs fixés
- discussion sur les prédicats '>'/2, '=<'/2, ...
## Validation du précédant PV
le précédant PV a été validé
## Cahier des charges
- Ne pas annoncer que l'on va dépasser les performances de SWI-Prolog
- Annoncer l'optimisme du planning
## Discussion sur la réunion avec l'expert externe
- Discuter l'idée du projet, cahier des charges et objectifs
## Objectifs du projet
- Problème existant (fact sans argument / requête sans argument), prendre du temps pour réfléchir à la bonne façon de faire
- Lorsqu'on parse une requête, interpréter les listes de buts comme une liste de requête. Lors d'un parse d'un fichier pour enrichir nos règles admises, n'accepte que les but seuls, considérés comme des faits Prologs, et refuse les listes de buts, alors considérées comme des erreurs
## Autres points relatifs au projet
- is/2: les opérateurs '>', '=<', ... sont remplaçables par le réel opérateur 'sign' via l'astuce sign(a-b) -> -1,0,1
## Tâches à réaliser
- implémenter l'opérateur sign/1 pour le prédicat is/2 (demande une restructure de la classe ProloGraalIsBuiltin)
- modifier le système actuel d'exécution des requêtes Prolog
- modifier le ProloGraalProofTreeNode pour ne plus utiliser la stack java
Markdown is supported
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