Re: [rules-users] What is inference and how does it facilitate good rule design and maintenance

Wolfgang Laun wrote: It is, however, very desirable to be able to write LHS in a more structured way, not being forced to either repeat CEs or create additional facts establishing secondary properties (such as isAdult). <result-type> property <name>( <fact-type> <name> ){ <expression> } and use this in LHS the way we are used to What you just described there is prolog "like" in nature, we have some ideas around that. My BRF talk last week showed some ideas on how we can integrate POSL. The are upsides and downsides to fact inferrence and query based inferrence - hopefully we can provide both worlds :) Mark