prolog-samples-20200120