Links for zamia-prolog