prolog-to-gdl