From d0bb3eb8cc56c35e1072fbd5d3583ff88ca695b6 Mon Sep 17 00:00:00 2001 From: Mylloon Date: Wed, 1 Feb 2023 09:44:58 +0100 Subject: [PATCH] blabla prof --- TP1/Prolog/TODO.md | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/TP1/Prolog/TODO.md b/TP1/Prolog/TODO.md index 648dfff..f7f32c3 100644 --- a/TP1/Prolog/TODO.md +++ b/TP1/Prolog/TODO.md @@ -1,2 +1,6 @@ -- [ ] Faire un fichier qui lit les fichiers et qui lance le résolveur -- [ ] Faire un résolveur +- [ ] 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`)