Courteous LP’s: Example
<leadTimeRule1> orderModificationNotice(?Order,14days)
? preferredCustomerOf(?Buyer,?Seller) ?
purchaseOrder(?Order,?Buyer,?Seller) .
<leadTimeRule2> orderModificationNotice(?Order,30days)
? minorPart(?Buyer,?Seller,?Order) ?
purchaseOrder(?Order,?Buyer,?Seller) .
<leadTimeRule3> orderModificationNotice(?Order,2days)
? preferredCustomerOf(?Buyer,?Seller) ?
orderModificationType(?Order,reduce) ?
orderItemIsInBacklog(?Order) ?
purchaseOrder(?Order,?Buyer,?Seller) .
overrides(leadTimeRule3 , leadTimeRule1) .
? ? orderModificationNotice(?Order,?X) ?
orderModificationNotice(?Order,?Y); GIVEN ?X ? ?Y.