A Computational Logic Application Framework for Service Discovery and Contracting