A declarative approach to business rules in contracts: courteous logic programs in XML