W3C home > Mailing lists > Public > public-rif-wg@w3.org > December 2005

Re: Production Logic Programs Approach, in a Nutshell: paper now available

From: Gary Hallmark <gary.hallmark@oracle.com>
Date: Thu, 22 Dec 2005 16:45:07 -0800
Message-ID: <43AB4893.2040208@oracle.com>
To: public-rif-wg@w3.org




>Suppose I have a rule set like:
>
>	bindreq @le (bound, bound) 
>	less(?x,2) <- @le(?x,2)
>
>then I expect, from the virtual KB wording to get at least two results
>
>	less(1,2) 
>	less(2,2) 
>
>but the bindreq changes that so that I get no results.
>
>How can you account for the meaning of the bindreq pragmas?
>  
>
As a practitioner I would expect a rule set compiler to issue an error 
message stating that this is an illegal rule because ?x is unbound in 
the rule condition.


>  
>
Received on Friday, 23 December 2005 00:45:15 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:33:25 GMT