jim@epistemi.UUCP (02/13/87)
A bug: '1.2' is not an integer in our prolog, so X is '1.2' + '3.4'
gives an error message. Doing
?- name('1.2',Ascii),name(Integer,Ascii), integer(Integer).
also fails. So, how do I take the single brackets off?
Another thing, why does 'name' on the empty list of ascii characters give an
atom with no name rather than a fail. On our cprolog
?-name(X,[])
gives X= '' like so (including the space in front) and creating a Y thus
?-name(X,[]),Y =[X|[]]
gives Y=[ '']
which at least is unrecognisable, while a development prolog I've used gives
Y=[] since no quote marks go around the invisible atom. note that Y will not
unify with the empty list (boy was that a bug to find!)
ta, jim
--
Jim Scobbie: Centre for Cognitive Science, Edinburgh University,
2 Buccleuch Place, Edinburgh, EH8 9LW, SCOTLAND
UUCP: ...!ukc!cstvax!epistemi!jim
JANET: jim@uk.ac.ed.epistemi