251 B
251 B
- 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
)