Interesting. I looked at Yield and felt it required manually coding the behavior of predicates via boiler-plate-like loops instead of just declaring them. I was impressed with claimed speed benchmarks however. I’m glad to hear you found it productive. If I need to rethink which Prolog implementation I use, I’ll look at Yield again.
(Nothing of Relevance here)