ByNobleID
    An Operational Formal Definition of PROLOG. | NobleID