MULTIDIMENSIONAL LOGIC PROGRAMMING - THEORETICAL FOUNDATIONS

This paper introduces an extension of logic programming based on multi -dimensional logics, called MLP. In a multi-dimensional logic the valu es of elements vary depending on more than one dimension, such as time and space. The resulting logic programming language is suitable for m odelling objects which involve implicit and/or explicit temporal and s patial dependencies. The execution of programs of the language is base d on a resolution-type proof procedure called MSLD-resolution (for mul ti-dimensional SLD-resolution). The paper also establishes the declara tive semantics of multi-dimensional logic programs, based on an extens ion of Herbrand models. In particular, it is shown that MLP programs s atisfy the minimum model semantics. A novel multidimensional interface to MLP is also outlined; it can be used as a powerful development too l with the advantage of non-determinism inherent in logic programming.