feat: Enhance exercise completion handling by adding level and score properties

Author: riccardodebenedictis

src/exercise_done.clp

@@ -6,17 +6,17 @@
 =>
   (printout t "User '" ?user "' has completed exercise '" ?exercise "' at level " ?level " with score " ?score crlf)
   (facts)
-  (do-for-fact ((?ex-done-user ExerciseDone_user) (?ex-done-exercise ExerciseDone_exercise) (?ex-done-done ExerciseDone_done))
+  (do-for-fact ((?ex-done-user ExerciseDone_user) (?ex-done-exercise ExerciseDone_exercise) (?ex-done-done ExerciseDone_done) (?ex-done-level ExerciseDone_level) (?ex-done-score ExerciseDone_score))
     (and
         (eq ?ex-done-user:item_id ?ex-done-exercise:item_id)
         (eq ?ex-done-user:item_id ?ex-done-done:item_id)
         (eq ?ex-done-user:user ?user)
-        (eq ?ex-done-exercise:item_id ?exercise))
-    (set_properties ?ex-done-user:item_id (create$ level) (create$ ?level))
-    (set_properties ?ex-done-user:item_id (create$ score) (create$ ?score))
+        (eq ?ex-done-exercise:exercise ?exercise))
     (bind ?done (+ ?ex-done-done:done 1))
-    (set_properties ?ex-done-user:item_id (create$ done) (create$ ?done))
     (printout t "User '" ?user "' has completed exercise '" ?exercise "' " ?done " times" crlf)
+    (set_properties ?ex-done-level:item_id (create$ level) (create$ ?level))
+    (set_properties ?ex-done-score:item_id (create$ score) (create$ ?score))
+    (set_properties ?ex-done-done:item_id (create$ done) (create$ ?done))
   )
   ; Remove the completed exercise from the list
   (do-for-fact ((?ex exercise)) (not (any-factp ((?ex2 exercise)) (< ?ex2:id ?ex:id))) (retract ?ex))