[net.ai] Problem with Horn Clauses.

bbanerje@sjuvax.UUCP (B. Banerjee) (11/15/83)

As a novice to Prolog, I have a problem determining whether a
clause is Horn, or non Horn.

I understand that a clause of the form :

             A + ~B + ~C is a Horn Clause, 

While one of the form :

            A + B + ~C is non Horn.

However, my problem comes when trying to determine if the
following Clause is Horn or non-Horn.







                                                              
                           ------------\                         
                          /          _  \                         
                         /_________ / \__**                      
                        _#        #      **                            
                       (_   o   o _)        __________            
                         xx   !  xx        ! HO HO HO !             
                         xxx \_/xxx      __/-----------             
                         xxxxxxxxxx                               
                                                                  
Happy Holidays Everyone!

-- Binayak Banerjee
{bpa!astrovax!burdvax}!sjuvax!bbanerje