Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.1 6/24/83; site sjuvax.UUCP
Path: utzoo!linus!security!genrad!decvax!harpo!floyd!clyde!akgua!psuvax!burdvax!sjuvax!bbanerje
From: bbanerje@sjuvax.UUCP (B. Banerjee)
Newsgroups: net.ai,net.lang.prolog,net.jokes
Subject: Problem with Horn Clauses.
Message-ID: <140@sjuvax.UUCP>
Date: Mon, 14-Nov-83 17:26:03 EST
Article-I.D.: sjuvax.140
Posted: Mon Nov 14 17:26:03 1983
Date-Received: Tue, 15-Nov-83 21:42:37 EST
Distribution: net
Organization: Saint Josephs U. Philadelphia, PA
Lines: 35

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