Fix link in prolog readme