Links for scryer-prolog