Purity of Prolog Campaign