Geographical Information Systems are an obvious application for which procedures capable of logical reasoning about physical configurations could be extremely useful. Probably the most straightforward way that DPs could be employed is in the programming of a flexible query language for a spatial database. The functionality of a DP call is very close to an ordinary database query but is potentially much more powerful.
Concepts, which would be particularly important for this application are topological and other spatial relations between regions and also terrain types. In order to interface spatial primitives of a theory with conventional GIS we will need to examine how these primitives should be interpreted in terms of raster and vector data structures which are ubiquitous in these systems. The data abstraction achieved by the DP architecture should enable both of these data-types to be handled in a uniform way.