Newsgroups: comp.lang.prolog
Path: cantaloupe.srv.cs.cmu.edu!fs7.ece.cmu.edu!hudson.lm.com!news.pop.psu.edu!news.cac.psu.edu!howland.reston.ans.net!pipex!sunic!sics.se!lhe
From: lhe@sics.se (Lars-Henrik Eriksson)
Subject: Re: A question about "clause"
In-Reply-To: goku@csri.toronto.edu's message of 21 Nov 94 06:15:51 GMT
Message-ID: <LHE.94Nov21091841@yang.sics.se>
Sender: news@sics.se
Organization: Swedish Institute of Computer Science, Kista
References: <1994Nov21.011551.5381@jarvis.cs.toronto.edu>
Date: Mon, 21 Nov 1994 08:18:41 GMT
Lines: 21

In article <1994Nov21.011551.5381@jarvis.cs.toronto.edu> goku@csri.toronto.edu (Samuel Yet K Hung) writes:

   When I asked this query in prolog,

   ? clause(1>0,X).

   The result is X = 44.

   Can anyone tell me why this happened? Also, since my intended program needs
   X = true, can you tell me how I can achieve this?

   Thank you for any help in advanced.

To get any meaningful help, you must tell what particular Prolog
system (including version and computer platform) you are using.

--
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                         Fax: +46 8 751 72 30
