Beidi Li, Mehul Bhatt, Carl P. L. Schultz. lambdaProlog(QS): Functional Spatial Reasoning in Higher Order Logic Programming (Short Paper). In Sabine Timpf, Christoph Schlieder, Markus Kattenbeck, Bernd Ludwig, Kathleen Stewart, editors, 14th International Conference on Spatial Information Theory, COSIT 2019, September 9-13, 2019, Regensburg, Germany. Volume 142 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. [doi]
Abstract is missing.