Paris8/iaj
Archived
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
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

326 B
Raw Blame History

  • 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 avec swi-prolog-devel (header : SWI-Prolog.h ou SWI-cpp.h)