Prolog-II Extension of