PROLOG: download AMZI Prolog interpreter