Re: [rules-dev] TUTORIAL

Rich, We do need a series of tutorials, one of those needs to be a complete idiots guide to pattern matching working up into more practical and applied side of pattern matching. Something that works though a number of examples, step by step, showing the input and the output, and discussion cross product problems and caveats as they arrise. I think the Clips user manual has something like this too, but mostly focused on ordered facts, which we don't support yet. So maybe do a blend of stuff that combines my points below, the tutorials I references in the previous email, the clips tutorials, and any other good ones you are aware off. If you like I can add you as a publisher to the blog and you can do them in a "series" fashion over time. We can then take this series and eventually add it to the manual. I created a Usage Patterns page in the wiki, http://wiki.jboss.org/wiki/Wiki.jsp?page=UsagePatterns, its just a bunch of headers, but we can expand those and maybe each would make a great entry in the pattern matching series. I guess the thing he is to focus on pattern matching and avoid talking about agendas, conflict resolution and execution flow control. Propositional Logic 1) Pattern matching with literal constraints 2) Pattern matching with variables, touching on simple cross products 3) more complex variable pattern matching and cross products 4) using pattern matching to constraint to values in a specific order. Fibonacci calculate rule is a great example here, but can also do a simple one where you always make sure application a) is older than applicant b) when f1 : Fibonacci( s1 : sequence, value != -1 ) f2 : Fibonacci( s2 : sequence == (s1 + 1 ), value != -1 ) f3 : Fibonacci( sequence == (s2 + 1 ), value == -1 ) Note at this stage we haven't touched any conditional elements such as 'and', 'or' and 'eval' or the more complex field constraints return vlaue and predicate. Maybe you can figure out how to bring those in as part II in the series, or maybe part III after you work through first order logic examples, see below. First Order Logic 1) Not/Exists 2) Forall 3) Collect/Accumulate Rich Halsey wrote: