Partial Meet Revision and Contraction in Logic Programs