Clojurians Log v2
Clojure programming
Channels
Apps
clara
http://www.clara-rules.org/
cfleming 2018-01-17T02:15:09.000097Z
What is the logic by which class members from fact types are used to create local variables for the constraints?
cfleming 2018-01-17T02:16:38.000073Z
In clara.examples.java.shopping, there are some examples [Customer (= true VIP)] and [Order (> total 200)]. I assume VIP is mapped to the isVIP() method and total is mapped to the getTotal() method?
cfleming 2018-01-17T02:17:05.000035Z
Are the rules around this defined anywhere, or could someone point me to the relevant DSL code?
alex-dixon 2018-01-17T02:21:25.000186Z
@cfleming https://github.com/cerner/clara-rules/blob/941b776221690edab4904e3728715d0680bd6121/src/main/clojure/clara/rules/compiler.clj#L308
cfleming 2018-01-17T02:22:04.000214Z
@alex-dixon Isn’t that dealing with unification vars?
cfleming 2018-01-17T02:22:44.000339Z
Oh, it looks like field-name->accessors-used, right?
alex-dixon 2018-01-17T02:24:06.000279Z
https://github.com/cerner/clara-rules/blob/master/src/main/clojure/clara/rules/compiler.clj#L149
alex-dixon 2018-01-17T02:26:02.000081Z
@cfleming Er. get-fields a few down from there what you’re looking for?
1👍cfleming 2018-01-17T02:26:30.000277Z
Yes, I think so - thanks!