Prolog II+
Extension of
Delta Prolog (4200)