λ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 spa ...