🚀 go-pugleaf

I realise that my first question on the compilation of disjuncts was sure stated
in a too much naive way.

Now, here is a more precise formulation for my question:

How do WAM implementations treat the disjunction EFFICIENTLY ?
                                                 ^^^^^^^^^^^

I cannot believe that the branches of the ';' are copied into the heap and then
executed via 'call/1', which would make them be interpreted rather than compiled.

So, given that a great effort towards efficiency has been achieved for the WAM
I think there is, here or there, some special treatment for ';'.

Any pointers/articles/reports about this would be welcome.