{Expressing and Verifying Business Contracts with Abductive Logic Programming}