Prolog
Extension of
cu-Prolog (5044)