Prolog
Derivation of
EqL (1479)