[Prolog-standard] Welcome, indeed