prolog-plunit-tut