[rules-dev] Persistent FOL quantifier results

[Mark Proctor]

  On 15/09/2010 07:05, Wolfgang Laun wrote:
> On 14 September 2010 17:47, Mark Proctor <mproctor at codehaus.org 
> <mailto:mproctor at codehaus.org>> wrote:
>
>     Here is another project proposal, this time simpler. I think this
>     one has Wolfgang's name on it ;)
>
I was joking by "volunteering" you for the task ;)

Mark
>
>
> I don't recall having proposed anything relating to this?
>
> My last proposal was making FOL quantifier result "false" non-blocking 
> for LHS evaluation and accessible through a binding variable. As this 
> is now public, I asked around for opinions on my short paper 
> <http://members.inode.at/w.laun/drools/EnhancingFOL.pdf>, and here is 
> one comment, which I interpret to be positive and encouraging:
>
> <quote>
> It seems to me that the most powerful new concept here is the ability 
> to directly combine Boolean statements about WMEs with Boolean 
> statements about other quantities in the same expression, at the same 
> level -- i.e., to be able to directly express "(some WME exists) || 
> f(x) == 3", /which is awkward at best in most rule languages/.
> </quote>
> (Emphasis added by me.)
>
> Cheers
> Wolfgang
>
>
> _______________________________________________
> 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/20100915/78e1e209/attachment.html