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