Re: "dict"ionary typing?

On 05-12-13 15:48, Shon Feder wrote:
> With `lifter`, the clause
> 
>     longer(A,B) :-
>         length(A,º) > length(B,º).
> 
> is expanded to
> 
>     longer(A, B) :-
>         length(A, C),
>         length(B, D),
>         C > D.
> 
> I like that this approach satisfies the desire for expressions that
> "evaluate in place" but keeps the flexibility and potent, multi-directional
> functionality of prolog relations.

Yes, I also enormously like this. It seems to combine the best of both
worlds in a very powerful and intuitive manner.

On 06-12-13 04:15, Richard A. O'Keefe wrote:
> It's just too bad that ~ is a perfectly good data term as it stands
> and append([a,b],[c,d],~) is also a perfectly good data term as it
> stands, so this query is perfectly meaningful right now, meaning
> something else.  This is a recipe for confusion.

If something like this is added to the SWI core language, perhaps the
period could be used again (instead of º or ~)?