@inproceedings{5b3b478e2f874887aebdbbf826ddd8b2,
title = "A Simple Prolog Techniques Editor for Novice Users",
abstract = "This paper describes a working prototype system which uses descriptions of standard Prolog techniques to provide a basic techniques editing system, ultimately intended for use by novice programmers. annotation for representing techniques, based on Definitive Clause Grammars, as described in the context of previous theoretical work by Kirshenbaum, Lakhotia and Sterling. Details are supplied of a mechanism for using these techniques to provide guidance during program construction and an example is provided of the system in operation. I conclude by suggesting the extensions needed in order to make a prototype useful for practical applications.",
author = "D Robertson",
year = "1991",
month = apr,
day = "1",
language = "English",
isbn = "3-540-19734-6",
series = "Workshops in Computing",
publisher = "Springer",
pages = "190--205",
editor = "G.A. Wiggins and C. Mellish and T. Duncan",
booktitle = "Proceedings of 3rd Annual Conference on Logic Programming",
address = "United Kingdom",
}