Yielding prolog engines from within a foreign predicate

[EricGT]

@jan

Comments, on implementation, docs and API are of course welcome.

Maybe Matthijs could also try out PlantUML.

Note: If the text is hard to read, open image in a new tab should do the trick.