## A Mathematical Definition of Full Prolog (1994)

Citations: | 56 - 7 self |

### BibTeX

@MISC{Börger94amathematical,

author = {Egon Börger and Dean Rosenzweig},

title = {A Mathematical Definition of Full Prolog},

year = {1994}

}

### OpenURL

### Abstract

The paper provides a mathematical yet simple model for the full programming language Prolog, as apparently intended by the ISO draft standard proposal. The model includes all control constructs, database operations, solution collecting predicates and error handling facilities, typically ignored by previous theoretical treatments of the language. We add to this the ubiquitous box-model debugger. The model directly reflects the basic intuitions underlying the language and can be used as a primary mathematical definition of Prolog. The core of the model has been applied for mathematical analysis of implementations, for clarification of disputable language features and for specifying extensions of the language in various directions. The model may provide guidance for extending the established theory of logic programming to the extralogical features of Prolog. Introduction One of the original aims of mathematical semantics was to provide the programmer with a set of mathematical models and...