RE: what is a rule?

From: Wagner, G.R. (
Date: 03/11/03

  • Next message: Ian Horrocks: "Re: DQL update, etc."
    > BTW, there is no such thing as a 'KIF rule', as far as I know. KIF 
    > can express implications, of course, but it is misleading to call 
    > these 'rules'.
    KIF makes a distinction between implications and rules: the 
    symbol "<<=" is used for rules, while "<=" is used for 

    This archive was generated by hypermail 2.1.4 : 03/11/03 EST