prolog-to-nl