Newsgroups: comp.lang.prolog
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!news2.near.net!news.mathworks.com!usenet.eel.ufl.edu!news-feed-1.peachnet.edu!gatech!swrinde!pipex!uunet!allegra!alice!pereira
From: pereira@alta.research.att.com (Fernando Pereira)
Subject: Re: A question about "clause"
In-Reply-To: jan@swi.psy.uva.nl's message of Mon, 21 Nov 1994 16:08:20 GMT
Message-ID: <PEREIRA.94Nov21230008@alta.research.att.com>
Sender: usenet@research.att.com (netnews <9149-80593> 0112740)
Nntp-Posting-Host: alta.research.att.com
Reply-To: pereira@research.att.com
Organization: AT&T Bell Laboratories
References: <1994Nov21.011551.5381@jarvis.cs.toronto.edu> <LHE.94Nov21091841@yang.sics.se>
	<CzMKtx.6G2@swi.psy.uva.nl>
Date: Tue, 22 Nov 1994 04:00:08 GMT
Lines: 27

In article <CzMKtx.6G2@swi.psy.uva.nl> jan@swi.psy.uva.nl (Jan Wielemaker) writes:
   lhe@sics.se (Lars-Henrik Eriksson) writes:
   >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.

   So true.  I'm pretty sure this is C-prolog, which returns a small integer
   for all C-defined predicates.
Not it doesn't in C-Prolog 1.5, the last version that I put together
for distribution from EdCAAD, the official C-Prolog source, back in
1983. I have no idea of what other bastardized or obsolete versions of
C-Prolog are floating around, and 44 is certainly the internal code
for the built-in predicate >/2, but that bug isn't in there.


--
Fernando Pereira
2D-447, AT&T Bell Laboratories
600 Mountain Ave, PO Box 636
Murray Hill, NJ 07974-0636
pereira@research.att.com
