THX for the reference. I used Prolog a fair amount in the 90s, but didn't know about B-Prolog. Now I do.

And I came here to make @rad_gruchalski's comment. So... thx for making that comment so I don't have to.