λProlog(QS):Functional spatial reasoning in higher order logic programming

We present a framework and proof-of-concept implementation for functional spatial reasoning within high-order logic programming. The developed approach extends λProlog to support reasoning over spatial variables via Constraint Handling Rules. We implement our approach within Embeddable λProlog 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.