Article View: comp.lang.prolog
Article #209Re: To all who posted supposedly solutions of J.W. Lloyds example
From: Lars-Henrik Eriksson
Date: Wed, 15 Apr 1992 17:42
Date: Wed, 15 Apr 1992 17:42
16 lines
1244 bytes
1244 bytes
In article <3729@tuegate.tue.nl>, wsbusup4@rwa (Jan Stout) writes: > >You all assume that :- means logical equivalence, i.e. <->, but I was taught >that it means logical consequence, i.e. <-. You are right, but misunderstood the postings. The discussion is about the *completed* program, which is a set of logical equivalences that can obtained from the program. The completed program is of interest when defining semantics of negated queries. -- Lars-Henrik Eriksson Internet: lhe@sics.se Swedish Institute of Computer Science Phone (intn'l): +46 8 752 15 09 Box 1263 Telefon (nat'l): 08 - 752 15 09 S-164 28 KISTA, SWEDEN
Technical Details
Message-ID:
<1992Apr15.174201.26906@sics.se>Path:
arc1-ca.pugleaf.net!sparky!uunet!zaphod.mps.ohio-state.edu!mips!darwin.sura.net!gatech!bloom-beacon!eru.mt.luth.se!lunic!sunic!seunet!sics.se!lheReferences:
<3729@tuegate.tue.nl>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!sparky!uunet!zaphod.mps.ohio-state.edu!mips!darwin.sura.net!gatech!bloom-beacon!eru.mt.luth.se!lunic!sunic!seunet!sics.se!lhe From: lhe@sics.se (Lars-Henrik Eriksson) Newsgroups: comp.lang.prolog Subject: Re: To all who posted supposedly solutions of J.W. Lloyds example Message-ID: <1992Apr15.174201.26906@sics.se> Date: 15 Apr 92 17:42:01 GMT References: <3729@tuegate.tue.nl> Sender: lhe@sics.se (Lars-Henrik Eriksson) Reply-To: lhe@sics.se (Lars-Henrik Eriksson) Organization: SICS, Kista (Stockholm), Sweden Lines: 16 In-Reply-To: wsbusup4@rwa.urc.tue.nl (Jan Stout)