- From: Sandro Hawke <sandro@w3.org>
- Date: Sun, 17 Dec 2006 14:31:35 -0500
- To: jos.deroo@agfa.com
- Cc: "Gary Hallmark" <gary.hallmark@oracle.com>, kifer@cs.sunysb.edu (Michael Kifer), "W3C RIF WG" <public-rif-wg@w3.org>, public-rif-wg-request@w3.org, "Paul Vincent" <pvincent@tibco.com>
> > At the moment, unless some new information comes along, I'm inclined to > > agree that we need to leave recursive Horn rules out of the core. > > All of the rule sets that I use for my practical work have > some rules that are recursive, even some of them also have > mutual predicate dependency like > pred3(X,Z):- pred1(X,Y), pred2(Y,Z). > pred2(X,Z):- pred3(X,Y), pred4(Y,Z). I suspect all "power users" of rule systems use recursive rules and would need to use a more powerful dialect than RIF Core. -- Sandro
Received on Sunday, 17 December 2006 19:32:43 UTC