BriefGPT.xyz
Aug, 2011
一种基于知识的编程环境原型
A prototype of a knowledge-based programming environment
HTML
PDF
Stef De Pooter, Johan Wittocx, Marc Denecker
TL;DR
本文介绍了一种基于知识的编程环境，其中包含适当的语言表示的声明性背景知识、程序和具体数据，并以灵活的方式组合在一起，从而实现了高度的声明性编程风格。我们通过一个例子说明了我们的方法，并报告了我们的原型实现。
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
→