Re: [] \= '[]' (was Re: Ann: SWI-Prolog 7.1.0)

Alan Baljeu <[email protected]>
Newsgroups gmane.comp.ai.prolog.swi
Message-ID <[email protected]> 
Richard A. O'Keefe:
>A typed Prolog exists.  It's called Mercury.  It works very well.



Raising questions, then:
1) Is [] an atom in Mercury?
2) Is the breaking change in SWI a step towards stronger typing?
3) Mercury works well.  Is that an argument against change in SWI, for change in a different direction, or supporting the viability of the current change?
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.