Links for rgxlog-interpreter