A Declarative Approach to Business Rules in Contracts Courteous Logic Programs in XML by Center for Ebusiness@mit | Menrva Books | MenrvaBooks