Re: Datalog With Only Binary Relations Is Too Weak

   is there a difference between <-- and <= ?

I don't think so.  I was just following Pat's lead and using KIFish
notation.

                                             -- Drew

Received on Tuesday, 20 March 2001 11:50:40 UTC