prolog-manuscript.org