Prolog
Extension of
Maglog (5040)