Mapping Action Language BC to Logic Programs: A Characterization by Postulates