Prolo-Palo, un langage logique pour Bases de Données Spatiales