Edinburgh Research Explorer

A Simple Prolog Techniques Editor for Novice Users

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Related Edinburgh Organisations

Original languageEnglish
Title of host publicationProceedings of 3rd Annual Conference on Logic Programming
EditorsG.A. Wiggins, C. Mellish, T. Duncan
Place of PublicationEdinburgh
PublisherSpringer-Verlag GmbH
Number of pages16
ISBN (Print)3-540-19734-6
Publication statusPublished - 1 Apr 1991

Publication series

NameWorkshops in Computing
PublisherSpringer Berlin / Heidelberg
ISSN (Print)1431-1682


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.

ID: 3507214