NU-Prolog
Extension of
NUE-Prolog (5485)