Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.1 6/24/83; site bigburd.UUCP
Path: utzoo!watmath!clyde!burl!ulysses!allegra!mit-eddie!genrad!decvax!decwrl!pyramid!pesnta!hplabs!sdcrdcf!burdvax!bigburd!dowding
From: dowding@bigburd.UUCP (John Dowding)
Newsgroups: net.lang.prolog
Subject: Re: "name" and type conversion
Message-ID: <2058@bigburd.UUCP>
Date: Wed, 27-Nov-85 16:14:25 EST
Article-I.D.: bigburd.2058
Posted: Wed Nov 27 16:14:25 1985
Date-Received: Tue, 10-Dec-85 05:09:03 EST
References: <382@bcsaic.UUCP> <77@nbs-amrf.UUCP>
Reply-To: dowding@bigburd.UUCP (John Dowding)
Organization: sdc
Lines: 13

name/2 behaves the same way in DEC 10 prolog, Quintus Prolog, and CProlog.
So the name('12',X),name(Y,X),integer(Y) query will always be true.

If you check, you will find that name, functor, and univ will always return
a number if it is possible to treat the result as a number.

This behavior causes trouble if you want to get the atom '12', not the
number.  If anyone knows a way of doing this, I would like to know it.

BTW:  Symbolics Prolog doesnt behave this way.  It has a predicate atom/2
that turns a number into an atom.

John Dowding