Re: Ann: SWI-Prolog 7.1.0

On 28-11-13 05:29, Richard A. O'Keefe wrote:
> Hands up everyone who has written a predicate to find the
> least general generalisation of two terms (assuming no cycles)?
> It can't just be me.

Not exactly, but I've used the pattern for meta-logical code you
describe countless times. I would hate to lose this simplicity.

So, +1 to pretty much everything Richard is saying about f(), and also
about atoms losing operator status when quoted: *why*, when there's
parens for this purpose?

Kilian