Re: Ann: SWI-Prolog 7.1.0

On 11/22/2013 06:56 PM, Alan Baljeu wrote:
>    - Unquoted atoms may contain internal dots.  E.g., a.b is an
>      atom.
> 
> I find this confusing given V.b is emphatically not an atom.  
> What's the motivation?

Basically convenience when handling identifiers for languages that
can do this.  It is controlled by a flag.  So far, it seems to
cause so little confusion that I have decided to make the default
to accept it.  If it proves problematic we can backtrack.  Note that
you don't have to use :-).  Following Paulo's advice, quoted write
emits 'a.b'.

>    - functor() is valid syntax.  It produces a term that is distinct
>      from 'functor'.  The `block' operator '()' to hack this syntax
>      has been removed.
> 
> So call(plus(), 2,3,X) is now a thing?
> I used to wish for this syntax, but now I can't remember why.

There are more questions about this, so I'll handle this elsewhere.

	Cheers --- Jan