Combining Prolog Programs in a Techniques Editing System

Combining Prolog Programs in a Techniques Editing System

Cached

Download Links

[www.dai.ed.ac.uk]

by Maria Vargas-Vera , Dave Robertson , Robert Inder , Zrobert Inder

Citations:

3 - 1 self

Versions

Version History

Metadata Version 2

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Combining Prolog Programs in a Techniques Editing System	SVM HeaderParse 0.1
AUTHOR NAME	Maria Vargas-Vera	user correction - Legacy Corrections
AUTHOR NAME	Dave Robertson	user correction - Legacy Corrections
AUTHOR AFFIL	yDepartment of Artificial Intelligence zHuman Comunication Research Center,; University of Edinburgh, University of Edinburgh,	user correction - Legacy Corrections
AUTHOR ADDR	80 South Bridge, 2 Buccleuch Place; Edinburgh EH1 1HN. Edinburgh EH8 9CW; Scotland, Great Britain Scotland, Great Britain	user correction - Legacy Corrections
AUTHOR NAME	Robert Inder	user correction - Legacy Corrections
AUTHOR NAME	Zrobert Inder	user correction - Legacy Corrections
AUTHOR AFFIL	yDepartment of Artificial Intelligence zHuman Comunication Research Center,; University of Edinburgh, University of Edinburgh,	user correction - Legacy Corrections
AUTHOR ADDR	80 South Bridge, 2 Buccleuch Place; Edinburgh EH1 1HN. Edinburgh EH8 9CW; Scotland, Great Britain Scotland, Great Britain	user correction - Legacy Corrections
ABSTRACT	Techniques editing, as proposed by Sterling et al., allows Prolog programs to be constructed by initially selecting a `skeleton' which determines the flow of control of the program, and then adding on top of this the extra features required by the program. This means that it is easy to obtain as an end-result of techniques editing not only the final program but also a history of its development, in terms of the skeleton and extensions used to build it. We describe how this program history information can be used to produce efficient combined programs from pairs of initial programs constructed independently by a techniques editor. Keywords: techniques editor, classification of Prolog programs, join specification, composition methods, unfold/fold transformations, meta-folding operation, program history. 1 Introduction This paper addresses the combination of two programs constructed by means of a specialised techniques editor, briefly described in Section 2. Currently the techniques edit...	user correction - Legacy Corrections
CITATIONS	9 found	ParsCit 1.0