A RECURSIVE TECHNIQUES EDITOR FOR PROLOG

被引：9

作者：

BUNDY, A ^{[1
]}

GROSSE, G ^{[1
]}

BRNA, P ^{[1
]}

机构：

[1] TH DARMSTADT, FACHGEBIET INTELLELT, W-6100 DARMSTADT, GERMANY

来源：

INSTRUCTIONAL SCIENCE | 1991年 / 20卷 / 2-3期

关键词：

D O I：

10.1007/BF00120880

中图分类号：

G40 [教育学];

学科分类号：

040101 ; 120403 ;

摘要：

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. © 1991 Kluwer Academic Publishers.

引用

页码：135 / 172

页数：38