Article View: comp.lang.prolog
Article #196Re: To J.W. Lloyd (Foundations of Logic Programming)
From: enrico
Date: Tue, 14 Apr 1992 16:41
Date: Tue, 14 Apr 1992 16:41
30 lines
1193 bytes
1193 bytes
In article <3716@tuegate.tue.nl> wsbusup4@rwc.urc.tue.nl (Jan Stout) writes: > Dear mister Lloyd, > > In the 2nd Ext. edition of the book mentioned above, you claim on page 97 > that _it_is_easy_to_show_that ~q is a logical consequence of comp(P) where > program P is: > > q :- ~r > r :- p > r :- ~p > p :- p > > We have tried to to this in our class, but with no result. We would > appreciate a little demonstration... > > > Jan Stout > wsbusup4@urc.tue.nl > > P.S: Of course any comments of other newsnetters are equally welcome. Comp(P) contains: q <-> ~r r <-> (p v ~p) p <-> p plus something else (CET). But (p v ~p) is TRUE so Comp(p) |= (q <-> ~TRUE) |= (q <-> FALSE) |= ~q
Technical Details
Message-ID:
<1992Apr14.164159.11544@menudo.uh.edu>Path:
arc1-ca.pugleaf.net!sparky!uunet!zaphod.mps.ohio-state.edu!menudo.uh.edu!usenetReferences:
<3716@tuegate.tue.nl>Show Full Headers
Complete Article Headers
Newsgroups: comp.lang.prolog Path: arc1-ca.pugleaf.net!sparky!uunet!zaphod.mps.ohio-state.edu!menudo.uh.edu!usenet From: enrico@cs.uh.edu Subject: Re: To J.W. Lloyd (Foundations of Logic Programming) Message-ID: <1992Apr14.164159.11544@menudo.uh.edu> Sender: usenet@menudo.uh.edu (USENET News System) Nntp-Posting-Host: alpha.cs.uh.edu Organization: University of Houston References: <3716@tuegate.tue.nl> Date: Tue, 14 Apr 1992 16:41:59 GMT Lines: 30