prolog-inc