Prolog
Extension of
IB-Templog (5068)