Functional description of geoprocessing services as conjunctive datalog queries