A Framework to Specify Database Update Views for Prolog