A computational logic application framework for service discovery and contracting