A Recursive Techniques Editor for Prolog

Instructional Science

dc.contributor.author	Bundy, Alan	en
dc.contributor.author	Grosse, G.	en
dc.contributor.author	Brna, Paul	en
dc.date.accessioned	2011-01-28T16:34:47Z
dc.date.available	2011-01-28T16:34:47Z
dc.date.issued	1991-03
dc.identifier.issn	0020-4277
dc.identifier.uri	http://www.springerlink.com/content/r66155005726vm30/
dc.identifier.uri	http://hdl.handle.net/1842/4700
dc.description.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.	en
dc.language.iso	en
dc.publisher	SpringerLink	en
dc.title	A Recursive Techniques Editor for Prolog	en
dc.type	Article	en
dc.identifier.doi	10.1007/BF00120880
rps.issue	2-3	en
rps.volume	20	en
rps.title	Instructional Science	en
dc.extent.pageNumbers	135–172	en
dc.date.updated	2011-01-28T16:34:48Z
dc.identifier.eIssn	1573-1952