Re: Ann: SWI-Prolog 7.1.0

Il 22/11/2013 16:36, Jan Wielemaker ha scritto:
> Hi,
> 
> I have uploaded SWI-Prolog 7.1.0. As the major release indicates, this
> makes SWI-Prolog a different system. You find more elaborate
> documentation including motivations in the chapter "SWI-Prolog
> extensions" in the manual.
> (http://www.swi-prolog.org/pldoc/man?section=extensions).
> 
> 
>   - functor() is valid syntax.  It produces a term that is distinct
>     from 'functor'.  The `block' operator '()' to hack this syntax
>     has been removed.

?- A1 = a(), functor(A1, a, 0), functor(A2, a, 0), writeln(A1-A2), A1 = A2.
a()-a
false.

This behavior is indeed very surprising for me... Is it deliberate?