Re: Booleans as the degenerate case of variable binding results

On Tue, Jun 22, 2004 at 10:25:53AM -0400, Simon Raboczi wrote:

> I think this is an entirely different kind of query.  Rather than "Can 
> this query be satisfied? I don't care about the particular variable 
> bindings required to satisfy it.", it's "Calculate a particular 
> variable binding ?x = (count > 8) whose value just happens to be a 
> boolean".  

Yes, you're right -- that was a sloppy example.

Best,
Kendall Clark

Received on Tuesday, 22 June 2004 10:32:26 UTC