Can all clauses be represented as Horn Clauses?
From: Minti (mintiSPAMBLOCK_at_yahoo.com)
Date: 03/20/04
- Next message: zeus: "Re: Sublists question"
- Previous message: billh: "Re: Mainstreaming Prolog a Pragmatic Approach?"
- Next in thread: Torkel Franzen: "Re: Can all clauses be represented as Horn Clauses?"
- Reply: Torkel Franzen: "Re: Can all clauses be represented as Horn Clauses?"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Date: 20 Mar 2004 00:29:17 -0800
Hi,
I was reading about horn's clauses, I would like to know if every
fact that can be represented as clause [non Horn] can be represented
as a Horn clause. I know the answer would be yes [ probably ]. But I
would also like to know about the logical proof that proves the
equivalence.
-- Imanpreet Singh Arora isingh AT acm DOT org
- Next message: zeus: "Re: Sublists question"
- Previous message: billh: "Re: Mainstreaming Prolog a Pragmatic Approach?"
- Next in thread: Torkel Franzen: "Re: Can all clauses be represented as Horn Clauses?"
- Reply: Torkel Franzen: "Re: Can all clauses be represented as Horn Clauses?"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Relevant Pages
|
