lambdaProlog(QS): Functional Spatial Reasoning in Higher Order Logic Programming (Short Paper)
Beidi Li, Mehul Bhatt, Carl Peter Leslie Schultz · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2019
We present a framework and proof-of-concept implementation for functional spatial reasoning within high-order logic programming. The developed approach extends lambdaProlog to support reasoning over spatial variables via Constraint Handling Rules. We implement our approach within Embeddable lambdaProlog Interpreter (ELPI) and demonstrate key features from combined reasoning over spatial functions and relations. The reported research is an ongoing development of the declarative spatial reasoning paradigm.