Multi-dimensional logic programming

Theoretical foundations

Mehmet A. Orgun*, Weichang Du

*Corresponding author for this work

Research output: Contribution to journalArticle

8 Citations (Scopus)

Abstract

This paper introduces an extension of logic programming based on multi-dimensional logics, called MLP. In a multi-dimensional logic the values of elements vary depending on more than one dimension, such as time and space. The resulting logic programming language is suitable for modelling objects which involve implicit and/or explicit temporal and spatial dependencies. The execution of programs of the language is based on a resolution-type proof procedure called MSLD-resolution (for multi-dimensional SLD-resolution). The paper also establishes the declarative semantics of multi-dimensional logic programs, based on an extension of Herbrand models. In particular, it is shown that MLP programs satisfy the minimum model semantics. A novel multidimensional interface to MLP is also outlined; it can be used as a powerful development tool with the advantage of non-determinism inherent in logic programming.

Original languageEnglish
Pages (from-to)319-345
Number of pages27
JournalTheoretical Computer Science
Volume185
Issue number2
Publication statusPublished - 20 Oct 1997

Fingerprint Dive into the research topics of 'Multi-dimensional logic programming: Theoretical foundations'. Together they form a unique fingerprint.

  • Cite this