Normal logic programs as open positive programs