Prolog Development