Coherent Integration of Databases by Abductive Logic Programming