🚀 go-pugleaf

> A related question is whether Poplog Prolog has the builtin 'current_functor',
> and if it has, what does current_functor give you?

It gets functors named in 'predicate positions' and not those named
in 'argument positions'.  Therefore its behaviour doesn't change across a 
GC -- at the expense of being unable to easily find some other names.

> It seems therefore that implementers are between a rock and a hard place in
> this case, hence my question in the first place.

I'm inclined to agree.  But on the other hand it seems like a fairly useless
predicate so implementors can find sub-solutions without much complaint.

Steve