Programming in logic without Prolog
Abstract
Logic can be made useful for programming and for databases independently of logic programming. To be useful in this way, logic has to provide a mechanism for the definition of new functions and new relations on the basis of those given in the interpretation of a logical theory. We provide this mechanism by creating a compositional semantics on top of the classical semantics. In this approach verification of computational results relies on a correspondence between logic interpretations and a class definition in languages like Java or C++. The advantage of this approach is the combination of an expressive medium for the programmer with, in the case of C++, optimal use of computer resources.
Cite
@article{arxiv.1206.2037,
title = {Programming in logic without Prolog},
author = {M. H. van Emden},
journal= {arXiv preprint arXiv:1206.2037},
year = {2014}
}
Comments
This paper has been withdrawn because it is superseded by arXiv:1412.3480, "Logic Programming Beyond Prolog"