blabla prof

This commit is contained in:
Mylloon 2023-02-01 09:44:58 +01:00
parent 2e9b73b075
commit d0bb3eb8cc
Signed by: Anri
GPG key ID: A82D63DFF8D1317F

View file

@ -1,2 +1,6 @@
- [ ] Faire un fichier qui lit les fichiers et qui lance le résolveur - [ ] Faire un fichier qui lit les fichiers pour le convertir en règle et
- [ ] Faire un résolveur qui lance le résolveur
- [ ] Faire le résolveur
Le prof propose d'utiliser C/C++ pour utiliser Prolog avec `swi-prolog-devel`
(header : `SWI-Prolog.h` ou `SWI-cpp.h`)