NU-Prolog Extension of