Re: Ann: SWI-Prolog 7.1.0
Nicos Angelopoulos (Univ of York) <[email protected]>
| Newsgroups | gmane.comp.ai.prolog.swi |
|---|---|
| Message-ID | <20131126152658.0fd60fd4@ampelos> |
Dear Jan, On Tue, 26 Nov 2013 14:19:36 +0100 Jan Wielemaker <[email protected]> wrote: > > I agree with Jeff here. I dislike functor(42, 42, 0) or 42 =.. [42], > but `fixing' them in favour of something that is heavily doubted and > certainly still has to prove its value is IMHO a bridge too far. > As it is now, especially with Jeff's domain error on functor(a(),_,_), > they can peacefully coexists. If you don't like it, simply don't use > it and nothing breaks. > as i said in my earlier email to this thread, " Certainly this is not a decision SWI should-have-to/can take on its own, maybe people that are involved in standarisation have a view on this and can move this forward. " the rest was mostly trying to understand the techinical limitations, i appreciate that this is not the right forum and that other people are not obliged to answer technical questions, please accept my apologies. All the best, Nicos Angelopoulos --- http://stoics.org.uk/~nicos/