[JAVA] Die Welt der Clara-Regeln (2)

Letzter Beitrag

Als ich Clara-Regeln leicht berührte und über Nacht schlief, wollte ich mehr darüber wissen, was Clara-Regeln tun können, also habe ich mir selbst ein anderes Problem ausgedacht.

Problem:

Bestimmen Sie, ob Sie einen Artikel mit Ihrem Geld kaufen können (Mein Geld).

• Der Endpreis des Produkts wird in den folgenden Schritten berechnet

1. Rabatt
2. Besteuerung

• 10% Rabatt, wenn der Artikel im ermäßigten # {: fish: Hosen} enthalten ist --Item hat ein Kategorieattribut, das den Steuersatz ändert

food 0.1

                :cloth 0.2
                :alcohol 0.3})```
 ――Nach dem Rabatt können Sie ihn kaufen, wenn der besteuerte Preis unter Ihrem Geld liegt

## Code

```clj
(require '[clara.rules :refer [defrule fire-rules insert insert! mk-session]])

(def discounted-items #{:fish :pants})

(def tax-rates {:food 0.1 :cloth 0.2 :alcohol 0.3})

(defrecord MyMoney [amt])

(defrecord Tax [category rate])

(defrecord Item [id price category])

(defrecord DiscountedItem [discounted-price category])

(defrecord TaxedItem [final-price])

(defrule DiscountItem
  [Item (= ?id id) (= ?category category) (= ?price price)]
  =>
  (println "Item is" ?id)
  (println "Original Price is" ?price)
  (println "Discounted item?" (some? (discounted-items ?id)))
  (insert! (->DiscountedItem (* ?price 0.9) ?category)))

(defrule TaxItem
  [DiscountedItem (= ?category category) (= ?discounted-price discounted-price)]
  =>
  (println "Tax rate is " (?category tax-rates))
  (insert! (->TaxedItem (+ ?discounted-price (* ?discounted-price (?category tax-rates))))))

(defrule EnoughMoney
  [MyMoney (= ?amt amt)]
  [TaxedItem (= ?final-price final-price) (> ?amt final-price)]
  =>
  (println "Final price:" ?final-price)
  (println "You have enough money!"))

(defrule NotEnoughMoney
  [MyMoney (= ?amt amt)]
  [TaxedItem (= ?final-price final-price) (not (> ?amt final-price))]
  =>
  (println "Final price:" ?final-price)
  (println "You do not have enough money!"))

Unterschied zwischen Insert! Und Insert

--insert! wird in defrule verwendet, um der aktuellen Sitzung implizit Fakten hinzuzufügen --insert nimmt eine explizit gezielte Sitzung als Argument

Sie können Variablen auf der linken Seite von defrule binden!

Beispiel: Im folgenden Beispiel auf der linken Seite der DiscountItem-Regel:

--Item-ID-Feld? Id

• Feld Artikelkategorie? Kategorie
• Artikelpreisfeld? Preis

Ich bin gebunden an.

[Item (= ?id id) (= ?category category) (= ?price price)]

--Variablen beginnen mit ?

• (= ？variable field-of-type)
• Die gebundene Variable kann entweder von rechts oder von links referenziert werden. (Vorausgesetzt, es gibt keine Abhängigkeit zwischen Variablen)

Verschiedenes Test

(-> (mk-session)
    (insert (->MyMoney 199) (->Item :fish 200 :food))
    (fire-rules))
;;Item is :fish
;;Original Price is 200
;;Discounted item? true
;;Discounted Price 180.0
;;Tax rate is  0.1
;;Final price: 198.0
;;You have enough money!

(-> (mk-session)
    (insert (->MyMoney 197) (->Item :fish 200 :food))
    (fire-rules))
;; Item is :fish
;; Original Price is 200
;; Discounted item? true
;; Discounted Price 180.0
;; Tax rate is  0.1
;; Final price: 198.0
;; You do not have enough money!

(-> (mk-session)
    (insert (->MyMoney 215) (->Item :pants 200 :cloth))
    (fire-rules))
;; Item is :pants
;; Original Price is 200
;; Discounted item? true
;; Discounted Price 180.0
;; Tax rate is  0.2
;; Final price: 216.0
;; You do not have enough money!

(-> (mk-session)
    (insert (->MyMoney 217) (->Item :pants 200 :cloth))
    (fire-rules))
;; Item is :pants
;; Original Price is 200
;; Discounted item? true
;; Discounted Price 180.0
;; Tax rate is  0.2
;; Final price: 216.0
;; You have enough money!

(-> (mk-session)
    (insert (->MyMoney 521) (->Item :beer 400 :alcohol))
    (fire-rules))
;; Item is :beer
;; Original Price is 400
;; Discounted item? false
;; Discounted Price 400
;; Tax rate is  0.3
;; Final price: 520.0
;; You have enough money!

(-> (mk-session)
    (insert (->MyMoney 519) (->Item :beer 400 :alcohol))
    (fire-rules))
;; Item is :beer
;; Original Price is 400
;; Discounted item? false
;; Discounted Price 400
;; Tax rate is  0.3
;; Final price: 520.0
;; You do not have enough money!

;;Forgot to insert MyMoney, what happens?
(-> (mk-session)
    (insert (->Item :beer 400 :alcohol))
    (fire-rules))
;; Item is :beer
;; Original Price is 400
;; Discounted item? false
;; Discounted Price 400
;; Tax rate is  0.3

Impressionen

• Es war interessant, dass die Regel nicht ausgelöst wurde, wenn die von der Regel geforderte Tatsache nicht eingefügt wurde. ――Die im Code geschriebenen Regeln von EnoughMoney und NotEnoughMoney sind redundant, daher halte ich es für Anti-Pattern. ――Ich kann nicht sehen, wie ich mit mehreren Gegenständen umgehen soll, daher möchte ich diesen Bereich beim nächsten Mal angreifen ――Ich möchte die Möglichkeit anderer Nebenwirkungen als des Druckens untersuchen
• Ich möchte herausfinden, wie das Zurückziehen funktioniert

Fortsetzung