Commit 9928b434 authored by Maxime Folschette's avatar Maxime Folschette
Browse files

make ASP scripts compatible with Clingo 5

parent 25cb2d95
......@@ -17,12 +17,11 @@ et un langage impératif simple (incrémentation, conditionnelle, boucles, et qu
dans l'objectif de calculer une plus faible précondition à partir d'une postcondition
et d'un programme donnés, sur un réseau donné.
La plus faible précondition peut aussi être exportée en Answer Set Programming (ASP)
pour être résolue avec Clingo 3.
pour être résolue avec Clingo 5 (devrait aussi être compatible avec Clingo 4 ; pour Clingo 3, décommenter la directive #hide. dans le script produit).
Requis :
OCaml (testé sur la version 4.02.0)
Clingo 3 (testé sur la version 3.0.5)
Attention, les scripts ne sont pas compatibles avec les versions 4 et 5 de Clingo
Clingo 5 (testé sur la version 5.4.0)
......@@ -39,7 +38,7 @@ Un exemple est déjà implémenté (quelques applications tirées du papier de r
Sorties : tests sur l'exemple courant : affichage des formules obtenues (à l'écran)
et production de programmes en Answer Set Programming (ASP) destinés à être résolus
par Clingo 3 énumération les états initiaux et paramétrisations compatibles.
par Clingo 5 (énumération les états initiaux et paramétrisations compatibles).
Limitation : il faut pour le moment définir un invariant explicite
pour les boulces (Tant que) bien que le papier de référence donne une méthode permettant
......
......@@ -858,7 +858,7 @@ let write_asp out f =
", " param_enum) ;
output_string out ".\n\n" in
let write_footer out =
output_string out ("\n#hide.\n#show main_state/" ^ (string_of_int (length varlist)) ^
output_string out ("\n%#hide.\n#show main_state/" ^ (string_of_int (length varlist)) ^
".\n#show params/" ^ (string_of_int (length param_enum)) ^ ".\n\n") in
write_header out ; write_atoms out f ; write_footer out ;;
......
......@@ -2,5 +2,5 @@
for fichier in $(ls *.lp)
do
clingo3 0 --verbose=0 ${fichier} > ${fichier}$1.out
clingo 0 --verbose=0 ${fichier} > ${fichier}$1.out
done
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment