Instructional Science

, Volume 20, Issue 2–3, pp 135–172

A recursive techniques editor for Prolog

  • Alan Bundy
  • Gerd Grosse
  • Paul Brna
Article

Abstract

We describe an editor geared to recursive Prolog procedures. It is similar to the structure editors built for many programming languages, except that instead of just ensuring the correctness of the syntax of the procedures built by the editor, the editor also ensures the correct use of recursion. By correct here we mean that the recursive procedure is guaranteed to terminate and to be well-defined. Within these constraints we have tried to ensure that the range of procedures that can be built is as complete as possible.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Kluwer Academic Publishers 1991

Authors and Affiliations

  • Alan Bundy
    • 1
  • Gerd Grosse
    • 2
  • Paul Brna
    • 1
  1. 1.Department of Artificial IntelligenceUniversity of EdinburghEdinburghU.K.
  2. 2.FG IntelleltikTH DarmstadtGermany

Personalised recommendations