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 510d22a4 authored by Tony Licata's avatar Tony Licata

fixed typo in PV03

parent a4a9c7cf
......@@ -15,15 +15,15 @@ Lieu : domicile
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
- 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
- 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
- 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
......
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