tp-prolog-bar-ter