The inlining of if-then-else and disjunction is based on an extension of the notion of a Prolog callable. While an ordinary Prolog callable is either a compound with an atom functor or an atom itself. Alternatively, the Dogelog player allows Prolog callable that is a Prolog compound with a special functor or a special itself.
The cross-compiler and runtime generate the following objects and calls: