Links for calysto-prolog