vous aurez préalablement installé clingo (qui permet d'exécuter les codes en ASP).

INSTALLATION RECOMMANDEE : aller installer la version clingo 5.6 en suivant les instruction relatives à votre distribution sur la page https://potassco.org/clingo/

INSTALLATION POSSIBLE (en back-up) : j'ai mis dans l'intranet les versions exécutables de clingo 5.4 pour linux, macOS et win. Si l'installation de clingo 5.6 ne fonctionne pas, vous pouvez récupérer l'exécutable de clasp dans le dossier qui correspond à votre système et le copier dans un répertoire dans lequel vous copierez aussi les deux fichier taxi.lp et cluedo.lp

TEST A FAIRE AVANT LE TP

    Placez vous dans un répertoire où l'exécutable de clasp fonctionne (soit après l'avoir installé directement avec conda, pip ou homebrew), soit après l'avoir copié dans ce répertoire.
    Copiez dans ce répertoire les fichiers taxi.lp et cluedo.lp qui sont dans moodle.
    Exécutez la commande "clingo  cluedo.lp --opt-mode=optN"  et vérifier que vous obtenez bien une réponse du type : 
        weapon_of_crime(candlestick) place_of_crime(hall) murderer(colonel_Mustard) sol(colonel_Mustard,candlestick,hall)


