Grubenmann, T., & Lehmann, J. (2021, September). Geolog: Scalable Logic Programming on Spatial Data. Presented at 37th International Conference on Logic Programming, Online