[rules-dev] TUTORIAL

[Mark Proctor]

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:
>  
> Mark,
>  
> I'm going to give some serious thought to doing the tutorial for JBoss 
> Rules (as you suggested). I cannot promise anything definite at this 
> time, but I will definitely look into it.
>  
> Rich Halsey
>  
>  
>  
> "NON ILLEGITAMATES CARBORUNDUM"
>  
> ....God grant me...
> The senility to forget the people I never liked
> The good fortune to run into the ones that I do
> And the eyesight to tell the difference."
> ------------------------------------------------------------------------
>
> _______________________________________________
> rules-dev mailing list
> rules-dev at lists.jboss.org
> https://lists.jboss.org/mailman/listinfo/rules-dev
>   

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.jboss.org/pipermail/rules-dev/attachments/20070309/74f5df47/attachment.html