Newsgroups: comp.lang.prolog
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!news2.near.net!howland.reston.ans.net!news.sprintlink.net!EU.net!Germany.EU.net!Munich.Germany.EU.net!ecrc!lyra!micha
From: micha@ecrc.de (Micha Meier)
Subject: Re: A question about "clause"
Message-ID: <CznwGt.K0E@ecrc.de>
Sender: news@ecrc.de
Reply-To: micha@ecrc.de
Organization: European Computer-Industry Research Centre
References: <1994Nov21.011551.5381@jarvis.cs.toronto.edu>
Date: Tue, 22 Nov 1994 09:17:16 GMT
Lines: 21

In article 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.

Funny, why did it not answer 42?

Sorry, I could not resist :-) Did you not assert that clause before? I would expect
that when you start your Prolog and ask this query, it would just fail
or give an error, otherwise you should switch to another system.

--Micha

---
Micha Meier			------------------------------------------------
ECRC, Arabellastr. 17		The opinions expressed above are private
D-81925 Munich 81		and may not reflect those of my employer.
micha@ecrc.de, Tel. +49-89-92699-108, Fax  +49-89-92699-170

