DROPS

Document

Short Paper

DOI: 10.4230/LIPIcs.COSIT.2019.26

lambdaProlog(QS): Functional Spatial Reasoning in Higher Order Logic Programming (Short Paper)

Authors: Beidi Li, Mehul Bhatt, and Carl Schultz

Published in: LIPIcs, Volume 142, 14th International Conference on Spatial Information Theory (COSIT 2019)

Abstract

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.

Cite as

Beidi Li, Mehul Bhatt, and Carl Schultz. lambdaProlog(QS): Functional Spatial Reasoning in Higher Order Logic Programming (Short Paper). In 14th International Conference on Spatial Information Theory (COSIT 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 142, pp. 26:1-26:8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)

Copy BibTex To Clipboard

@InProceedings{li_et_al:LIPIcs.COSIT.2019.26,
  author =	{Li, Beidi and Bhatt, Mehul and Schultz, Carl},
  title =	{{lambdaProlog(QS): Functional Spatial Reasoning in Higher Order Logic Programming}},
  booktitle =	{14th International Conference on Spatial Information Theory (COSIT 2019)},
  pages =	{26:1--26:8},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-115-3},
  ISSN =	{1868-8969},
  year =	{2019},
  volume =	{142},
  editor =	{Timpf, Sabine and Schlieder, Christoph and Kattenbeck, Markus and Ludwig, Bernd and Stewart, Kathleen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.COSIT.2019.26},
  URN =		{urn:nbn:de:0030-drops-111183},
  doi =		{10.4230/LIPIcs.COSIT.2019.26},
  annote =	{Keywords: Spatial reasoning, Functional logic programming, Lambda-Prolog}
}

Search Results

Documents authored by Li, Beidi

lambdaProlog(QS): Functional Spatial Reasoning in Higher Order Logic Programming (Short Paper)

Abstract

Cite as

Thanks for your feedback!

Could not send message