Re: Functional syntax

On 12/04/2013 07:42 PM, Alan Baljeu wrote:
>>> ?- length(List, .calc(1 + 1)).
>  >> List = [_G1821, _G1824].
>
> Or (1.1).calc() to match other syntax.
>
> Jan wrote:
>  >I provisionally like this.  As there are several issues to be
>  >resolved wrt. function expansion in the first place, I'm not
>  >in a hurry though.  Note that right now, you can get this to
>  >work as expected (using is/calc/eval/...):
>
> Can you elaborate what sort of issues need be resolved?

One is still on the radar: how to interact with DSLs that do not
wish to use this as functional notation.  Also the interaction
with meta-calls is quite delicate.

	Cheers --- Jan