2026-07-23T14:09:42Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:11118 2024-03-06T10:47:25Z ddc:004 open_access

lambdaProlog(QS): Functional Spatial Reasoning in Higher Order Logic Programming (Short Paper) Li, Beidi Bhatt, Mehul Schultz, Carl Spatial reasoning Functional logic programming Lambda-Prolog 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Beidi Li and Mehul Bhatt and Carl Schultz 2019 Is Part Of LIPIcs, Volume 142, 14th International Conference on Spatial Information Theory (COSIT 2019) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.COSIT.2019.26 urn:nbn:de:0030-drops-111183 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.COSIT.2019.26 eng https://creativecommons.org/licenses/by/3.0/legalcode