Dicts for structured programming and >:<

Request For Comments
1

When I use dicts to get a better readable code structure I have at any point the situation that I need to unify dicts of dicts against each other.

But the operator >:< works only on the surface of dicts and does not go deeper.

So the only thing I can do is to program my own predicate which does the job.

But it would be cool to have an operator which can unify Dicts against each other in a recursive way.

It could be named >::<. How about that?

Regards,
Frank Schwidom

2

I’m involved in a discussion with other Prolog systems on dict-like structures and their access. Providing recursive behavior for (:<)/2 and (>:<)/2 is surely one of the things on the agenda. In the meanwhile I’d like to avoid changes.