Links for prolog-interface