- updated README.md

- changed name of properties.pl (newname: domain_properties.pl) - added .pl and .clp encodings - updated encode.sh
IASI-SAKS · Nov 8, 2023 · b5b21ce · b5b21ce
1 parent 1603326
commit b5b21ce
Show file tree

Hide file tree

Showing 6 changed files with 15,249 additions and 411 deletions.
diff --git a/rules-validation/prolog/README.md b/rules-validation/prolog/README.md
@@ -30,7 +30,7 @@ rules-validation/prolog$ swipl
 The SWI-Prolog environment is now ready to execute queries; we can load the V&V modules by executing the following queries:
 
 ```prolog
-?- consult(properties).
+?- consult(domain_properties).
 
 true.
 

diff --git a/rules-validation/prolog/Simulator_V18_Q4_rules_20230908_182047-nomiVariabiliCorretti.pl b/rules-validation/prolog/Simulator_V18_Q4_rules_20230908_182047-nomiVariabiliCorretti.pl
diff --git a/rules-validation/prolog/properties.pl → rules-validation/prolog/domain_properties.pl b/rules-validation/prolog/properties.pl → rules-validation/prolog/domain_properties.pl
diff --git a/...es/Simulator_V18_Q4_rules_20230908_182047-nomiVariabiliCorretti-tipiVariabiliCorretti.clp b/...es/Simulator_V18_Q4_rules_20230908_182047-nomiVariabiliCorretti-tipiVariabiliCorretti.clp
diff --git a/...les/Simulator_V18_Q4_rules_20230908_182047-nomiVariabiliCorretti-tipiVariabiliCorretti.pl b/...les/Simulator_V18_Q4_rules_20230908_182047-nomiVariabiliCorretti-tipiVariabiliCorretti.pl
diff --git a/rules-validation/scripts/encode.sh b/rules-validation/scripts/encode.sh
@@ -18,8 +18,8 @@ fi
 
 case $2 in
   "pl")
-    ./adaptCRules.sh $1 > "${1%.c}__mod.c"
-    ./c2Prolog-RuleConverter.sh "${1%.c}__mod.c" > "${1%.c}.pl"
+    ./adaptCRules.sh $1 > "${1%.c}-tipiVariabiliCorretti.c"
+    ./c2Prolog-RuleConverter.sh "${1%.c}-tipiVariabiliCorretti.c" > "${1%.c}-tipiVariabiliCorretti.pl"
   ;;
   "clp")
     FileOut="${1%.pl}.clp"