[JAVA] Le monde de Clara-Rules (1)

Une bibliothèque appelée clara-rules a soudainement été évoquée en moi, alors je l'ai résumée rapidement.

Aperçu / caractéristiques

--Une bibliothèque qui fournit une implémentation du moteur de règles

• Connaissance du domaine distincte du code
• Disponible pour les clj / cljs --Naturellement disponible à partir de Java --Il existe également une vidéo de la conférence de l'auteur lui-même [1] [[2]](https://www.youtube.com/watch?v = zs5Rueo42TA)
• Il y a aussi une vidéo d'une conférence plus récente

règle? moteur?

--L'origine du système expert «C'était populaire pendant un certain temps car il était intéressant que les utilisateurs professionnels puissent résoudre des problèmes sans passer par un programmeur quand il n'y avait pas assez de programmeurs, mais il y avait une limite. --clara-rules cible les programmeurs, pas les utilisateurs professionnels, du point de vue que pratiquement toute règle est du code.

Ce qui peut être résolu

• Si vous avez une logique et l'exprimez comme un appel de fonction, vous devez écrire explicitement qu'elle transmet / reçoit les informations dont la logique a besoin. --Les informations requises par la logique changent → Nécessite inévitablement une refactorisation
• Il n'est pas nécessaire d'écrire des informations à transmettre / recevoir via des règles.

session --Représenter l'état --Insérer / retirer pour ajouter ou supprimer des faits --Le fait est représenté par une instance de l'enregistrement Clojure

• Appliquer des règles aux faits ajoutés à une session avec des règles de feu --Valeur immuable (l'opération d'insertion renvoie une nouvelle session, l'ancienne session reste) --Comme Clojure
• En fait, il est conçu pour fonctionner avec une macro de threading.
• mk-session(Clojure only) --Sans argument Appliquer les règles dans l'espace de noms courant --defsession (spécifie l'espace de noms avec la règle)

Macro defrule

--Macro pour écrire des règles --Il y a un côté droit et un côté gauche --Séparé par =>

• Ecrire une logique de jugement sur le côté gauche (plusieurs peuvent être écrits)
• Décrivez ce qui se passe lorsque le jugement devient véridique du bon côté --Peut provoquer des effets secondaires
• Vous pouvez également ajouter des faits à la session en cours

Exemple simple

(defrecord Num  [number])
(defrule is-two
  [Num (= number 2)] => (println "Two!"))

(-> (mk-session)
    (insert (Num 4)))
    (fire-rules))
;;Two!

Requete?

• Vérifiez quand vous allez bien! --Modifier la demande aussi. .. .. ??

Autres sentiments divers, etc.

――Bien que ce ne soit pas spécifié, je pense qu'il y a quelque chose que je veux faire d'abord appelé clara-rules, et j'ai choisi Clojure pour son implémentation. «Je ne sais pas à quel point je suis heureux avec juste un exemple simple, donc j'ai encore besoin d'apprendre. --Il semble que JavaScript ait des nools et Ruby a wongi. «J'ai estimé que la génération dynamique de règles n'était pas prise en charge. --Dans defrule, je me demandais si je pourrais utiliser la méthode de protocole du type sur le côté gauche, mais l'auteur m'a dit que c'est possible avec slack.

Thanks for the clarification ryanbrush!

(defprotocol IFoo
  (test-foo [this]))

(deftype Foo []
  IFoo
  (test-foo [this] true))

(defrule is-foo
  [Foo (test-foo this;;Cela ressemble à un symbole qui est automatiquement lié dans la portée
        )]
  => (println "is a foo"))

(-> (mk-session)
    (insert (Foo.))
    (fire-rules))
;;is a foo

Suite