A prototype of a knowledge-based programming environment
Artificial Intelligence
2011-08-31 v1 Logic in Computer Science
Abstract
In this paper we present a proposal for a knowledge-based programming environment. In such an environment, declarative background knowledge, procedures, and concrete data are represented in suitable languages and combined in a flexible manner. This leads to a highly declarative programming style. We illustrate our approach on an example and report about our prototype implementation.
Cite
@article{arxiv.1108.5667,
title = {A prototype of a knowledge-based programming environment},
author = {Stef De Pooter and Johan Wittocx and Marc Denecker},
journal= {arXiv preprint arXiv:1108.5667},
year = {2011}
}
Comments
6 pages, appears in the Proceedings of the 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011)