To J.W. Lloyd (Foundations of Logic Programming)

Article View: comp.lang.prolog

Article #194

#194

From: Jan Stout
Date: Tue, 14 Apr 1992 14:40

19 lines
875 bytes

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.

Technical Details

Message-ID: <3716@tuegate.tue.nl>

Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!sun4nl!tuegate.tue.nl!rwc.urc.tue.nl!wsbusup4

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!sun4nl!tuegate.tue.nl!rwc.urc.tue.nl!wsbusup4
From: wsbusup4@rwc.urc.tue.nl (Jan Stout)
Newsgroups: comp.lang.prolog
Subject: To J.W. Lloyd (Foundations of Logic Programming)
Message-ID: <3716@tuegate.tue.nl>
Date: 14 Apr 92 14:40:22 GMT
Sender: root@tuegate.tue.nl
Reply-To: wsbusup4@urc.tue.nl
Organization: Eindhoven University of Technology, The Netherlands
Lines: 19