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

>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.


>  
>