This repository has been archived on 2023-04-18. You can view files and clone it, but cannot push or open issues or pull requests.
iaj/TP1/Prolog/TODO.md

8 lines
326 B
Markdown

- [ ] Faire un fichier qui lit les fichiers pour le convertir en règle et
qui lance le résolveur
- [ ] Faire le résolveur
Le prof propose d'[utiliser C/C++ pour utiliser Prolog](./AidesCPP/)
avec `swi-prolog-devel`
([header](https://www.swi-prolog.org/pldoc/man?section=foreignlink) :
`SWI-Prolog.h` ou `SWI-cpp.h`)